Microsoft is moving GitHub even more closely into its CoreAI team, following the resignation of GitHub CEO Thomas Dohmke today. After nearly four years as CEO, Dohmke is leaving GitHub to “become a startup founder again,” and pursue opportunities outside of Microsoft and GitHub. GitHub has operated as a separate company ever since Microsoft acquired […]