Thomas Dohmke is calling it quits as GitHub’s CEO after nearly four years at the helm, marking a significant shift in how Microsoft manages one of its most valuable acquisitions. The departure signals Microsoft’s push to bring GitHub even closer to its artificial intelligence ambitions.

GitHub CEO Thomas Dohmke has announced he is resigning as CEO of the company as Microsoft begins to bring GitHub closer to its CoreAI team. Following the move, Microsoft will not appoint a new GitHub CEO and the company will no longer have a single leader, instead reporting more directly into its CoreAI division.