When GitHub head Thomas Dohmke left last year, three top GitHub executives started reporting to her.