That's counting on Microsoft taking good care of GitHub and maintaining its goodwill.
It might or might not be well managed in the years to come. Case in point, Skype. It was "the" tool to use for office communication. Hardly anyone I know uses Skype nowadays.
