Microsoft is moving GitHub over to Azure servers

It’s the first major change to GitHub since losing its CEO.