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.