India, Aug. 12 -- When Microsoft bought GitHub back in 2018, the idea was simple: put the world's largest developer platform under the wing of one of tech's biggest players. Seven years later, that partnership is entering a new chapter, and losing a familiar face in the process.

Thomas Dohmke, who took over as GitHub CEO in late 2021, has announced he's stepping down. In his time at the helm, Dohmke helped GitHub navigate its most transformative years, most notably with the launch and rapid adoption of GitHub Copilot, the AI-powered coding assistant now used by millions of developers.

Instead of appointing a new GitHub CEO, Microsoft is pulling the strings from a different angle. The company's newly formed CoreAI team will now lead AI i...