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

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

Microsoft, which is seeking to fend off competition from AI coding startups like Cursor, is losing GitHub chief Thomas Dohmke.