Der CEO von Github, Thomas Dohmke, hat seinen Rucktritt angekundigt. Als Beweggrund nennt er, wieder ein Start-up grunden zu wollen.