GitHub perd son patron… et une bonne partie de son indépendance. La plateforme de prédilection des développeurs est désormais entièrement sous le giron de Microsoft, son propriétaire depuis 2018. Le groupe ne remplacera pas Thomas Dohmke, le CEO sur le départ.