Thomas Dohmke, ex-patron de GitHub, évoque l'indépendance face à Microsoft