GitHub's migration to Azure under strain as demand causes Microsoft to reach out to AWS for extra capacity.