[zenethian]

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

Just in case you thought that Microsoft considered GitHub to be a development tool.