Quelle: Github
Thomas Dohmke zum Github-CEO ernannt