Was PHP's Git server using a self hosted Gitlab instance? I can't find the past threads, but I thought there was an announcement a while back that they were moving to Gitlab self-hosted. Maybe I'm misrembering which project that was?
The post mentions karma, there's some code here: https://github.com/php/karma/
I think the most common attacks on Github repos and groups have been on individual accounts. Which 2FA would mitigate.
Or Rust, right? </sarcasm> https://github.com/php/karma/search?q=exec