Comment by seanmcdirmid 6 days ago I think it also includes GitHub now. 1 comment seanmcdirmid Reply Conan_Kudo 4 days ago I believe GitHub is under a different group (CoreAI), not DevDiv.
I believe GitHub is under a different group (CoreAI), not DevDiv.