PHP's Git server compromised, moving to GitHub | Hacker News Reader