3 ms·I think it also includes GitHub now.by seanmcdirmid 10mo agoI think it also includes GitHub now.Conan_Kudo 10mo agoI believe GitHub is under a different group (CoreAI), not DevDiv.