GitHub CEO Thomas Dohmke to leave; Microsoft integrates GitHub into CoreAI
Microsoft won’t replace CEO; Jay Parikh to lead CoreAI integration efforts
CoreAI alignment aims to accelerate Copilot and other AI developer tools
GitHub has 150 million developers and over one billion repositories worldwide