去年 GitHub 负责人托马斯·多姆克 (Thomas Dohmke) 离开后，三名 GitHub 高管开始向她汇报。