Official PHP Git server targeted in attempt to bury malware in code base

The cyberattack has prompted a rapid and permanent move to GitHub.