PHP official code base migrated to GitHub As a precaution following this incident, PHP maintainers have decided to migrate the official PHP source code repository to GitHub.

As a result, they will discontinue the git.php.net server and make GitHub the official source for PHP repositories. Going forward, all PHP source code changes will be made directly to GitHub ...

Backdoor added to PHP source code in Git ... needed to use the organization's “home-grown” karma system, they’ll now need to become members of PHP’s GitHub repo and have two-factor ...