[PHP-DEV] Redirect git.php.net/repository/php-src to github.com/php/php-src

[Willian de Souza]

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.