What does GitHub's choice of cloud have to do with Microsoft's aptitude to take over an existing, huge, critical piece of the open source world? From a business perspective, or an operational one?