Retire /projects/export/repositories.csv.php

This script exports a list of all known Git source code repositories. This is the list of all repositories that are registered by projects in their metadata.

This script has been clearly labelled NOT API. As of December 2024, we believe that this script may be used as input into the Bitergia metrics dashboard, but we're pretty sure that they're actually using the project API as their source (and can decouple their process from this script). @bbaldassari2kd will confirm with our Bitergia friends.

The only other known use of the output of this script is internal.

The implementation gets its information from the results of the Git Indexing ("Dash") process. The Git Indexing process stores a list of Git repositories in a table in the dashboard database. This script just reads the contents of that repository. This means that this script has a tight coupling with the Git Indexing process. In addition to removing it from the website, I'd like to remove the coupling with the Git Indexing process.

In the short term, after we confirm that it is no longer being used externally, we can move the implementation of this script to run on an internal server.

Longer term, the script should be replaced with a client based on the Eclipse project APIs. That is, use the APIs to get the list of projects, and then leverage API data to use the Git metadata (GitHub orgs and repositories, GitLab groups, etc.) to assemble the list. How to interpret the API is a topic of discussion in eclipsefdn/helpdesk#4593.

Note that the Git Indexer's implementation skips over metadata repositories (e.g., .eclipsefnd); any replacement solution that we provide will have to take this filtering into consideration.

The Eclipse Vhant project uses the interpretation of the Git data in our project API as the subject of an example specification document. Note that the intention of the document is to provide an example of a specfication document; whether or not the actual content is correct is not a priority.