Redirect git.php.net/repository/php-src to github.com/php/php-src

Hi everyone,

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
questions is:
is possible redirect clones from
http://git.php.net/repository/php-src.git to
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.

Regards, Willian.