Говорят, там сервер Git PHP хакнули:
Теперь PHP уедет на Github:
https://news-web.php.net/php.internals/113838
Говорят, что скорее всего был скомпрометирован именно сервер, а не учётная запись Лердорфа.
Отсюда лично у меня вытекает логичный вопрос: а кроме откаченных коммитов точно больше ничего не задето?
Впрочем, Никита Попов пишет, что как раз это сейчас и выясняют.