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.