Un tentativo di attacco finalizzato alla Remote Code Execution costringe gli sviluppatori di PHP ad abbandonare il server git in favore di GitHub