GitHub was already under DevDiv, with Dohmke previously reporting to Julia Liuson. GitHub was moved under CoreAI in the reorg you mentioned. This move isn't new, it's just now more integrated and widely reported.
177 karma · joined July 4, 2022
There’s a great YouTube view about exactly this by Stand Up Maths if you want to go down a rabbit hole.