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