Cuando el director de GitHub, Thomas Dohmke, se fue el año pasado, tres altos ejecutivos de GitHub comenzaron a reportarle.