[greggyb]

They had those things prior to GitHub as well. It's had a few names, but is currently named Azure DevOps and was previously Visual Studio Online.