Microsoft acquires GitHub and subsequently moves all infrastructure to Azure