在GitHub首席执行官（CEO）托马斯·多姆克（Thomas Dohmke）宣布离职后，微软正将GitHub并入其CoreAI团队。多姆克在担任CEO近四年后，将离开GitHub，“再次成为一名创业者”，并在微软和GitHub之外寻求发展机会。