Maybe he did not embrace AI enthusiastically enough...

https://www.businessinsider.com/github-ceo-developers-embrac...

In a way, yes!

GitHub and its leadership team will continue its mission as part of Microsoft’s CoreAI organization, with more details shared soon.

one can hope