Als GitHub-Chef Thomas Dohmke letztes Jahr ging, begannen drei Top-Führungskräfte von GitHub, ihr Bericht zu erstatten.