[PHP] GitHub mirrors
- Date: Sun, 1 Oct 2017 22:17:30 +0200
- From: Peter Kokot <peterkokot@xxxxxxxxx>
- Subject: [PHP] GitHub mirrors
The PHP repositories on GitHub:
are mirrors from git.php.net
However when browsing a particular repository, for example:
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:
The mirror_url is empty:
Of course if it's possible and not too much things influence such change.