Web lists-archives.com

[PHP] GitHub mirrors




Hello,

The PHP repositories on GitHub:
https://github.com/php
are mirrors from git.php.net

However when browsing a particular repository, for example:
https://github.com/php/php-src

there don't seem to be any indication of the mirror information on the
GitHub directly, only in the README.md file of the source code (which is OK
for GitHub, but should be slightly refactored, when reading this file from
a download release).

Would be a good idea to add the mirror information on these repositories in
either the repository description or to contact GitHub and ask them to
enable mirror_url info for PHP repositories?

Notice how the mirror information is done on this repository, as an example:
https://github.com/gcc-mirror/gcc

The mirror_url is empty:
https://api.github.com/orgs/php/repos

Of course if it's possible and not too much things influence such change.

Thanks.

-- 
Peter Kokot