Microsoft's GitHub chief is leaving as competition ramps up in AI coding market
1. GitHub CEO Thomas Dohmke steps down; no successor named yet. 2. Microsoft is heavily investing in AI, integrating GitHub into the CoreAI group. 3. GitHub has over 150 million developers, facing fierce competition in AI coding tools. 4. Microsoft's Copilot usage continues to grow, with robust Enterprise customer increases. 5. Upcoming leadership changes could influence GitHub's strategic direction and market position.