The CoreAI team is where DevDiv got reorged into earlier this year: https://www.theverge.com/2025/1/13/24342793/microsoft-ai-eng...

DevDiv was arguably the place where GitHub would have ended up had it become integrated earlier, so it makes sense that it would end up there.