I was reading https://www.phpinternalsbook.com/ and found references
to clone repo using git.php.net, i opened a PR to fix it, but my
is possible redirect clones from
https://github.com/php/php-src/ ? I think has a lot of old references
on blogs and sites arround the internet, so if is possible redirect, it
will help people to download correct codebase.