GitHub perd son indépendance chez Microsoft après la démission de son PDG