GitHub CEO Thomas Dohmke, who led the AI push with GitHub Copilot and Spark, is stepping down. The platform will now be integrated into Microsoft's CoreAI division.