The move comes as GitHub is facing growing competition from companies like Google and Cursor over AI tools for programmers.

GitHub CEO Thomas Dohmke has resigned, and GitHub is moving even closer into Microsoft’s CoreAI team.