Thomas Dohmke, who has been leading Microsoft GitHub since 2021, is leaving the company. Since Dohmke took over GitHub as CEO, the unit has more than doubled its user base. GitHub will keep operating ...