Microsoft’s GitHub is relying more on Azure, says cloud chief