PHP will switch to git | Hacker News Reader