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