• GitHub’s CEO is leaving Microsoft after about four years, signaling a significant change for the coding platform faced with growing competition in AI tools for programmers.

Source: bloomberg.com