<?php
/*******************************************************************************
 * Copyright (c) 2017 Eclipse Foundation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*******************************************************************************/

/*
 * NOT API. This script may change in the future.
 *
 * This script exports a list of all known Git source code repositories.
 * Essentially, this is the list of all repositories that are registered
 * by projects in their metadata.
 *
 * TODO This is a candidate for inclusion in api.eclipse.org
 */

require_once(dirname(__FILE__) . "/../../eclipse.org-common/system/app.class.php");
$App = new App();

require_once dirname(__FILE__) . '/../classes/debug.php';
require_once dirname(__FILE__) . '/../classes/database.inc';

$sql = "
 select
  project, path
 from GitRepo
 order by project
";

$fp = fopen('php://output', 'w');
fwrite($fp, "# NOT API; this script is subject to change without notice.\n");

query('dashboard', $sql, array(), function($row) use (&$fp) {
 $project = $row['project'];
 $path = $row['path'];
 if (preg_match('/^\/gitroot\//',$path))
  $path = "git://git.eclipse.org{$path}";
 fputcsv($fp, array($project, $path));
});

fclose($fp);