Séisme pour les développeurs : GitHub n'est plus indépendant de de Microsoft