Lorsque Thomas Dohmke, directeur de GitHub, a quitté l'année dernière, trois hauts dirigeants de GitHub ont commencé à lui rendre compte.