Après le départ du patron de GitHub, Microsoft resserre son emprise