The official PHP Git server was attacked this past week. The attack is still under investigation, but actions were quickly taken to protect it, and there is no active security risk.
To learn more, you can read Enrico Zimuel‘s explanation. Github will now be the main repository for the PHP source code.
