I don't understand why everyone is so against this, this means Github is going to become more useful and tools will be extended. Microsoft knows developers better than many of the other companies. Perhaps it would have made more sense to be a joint venture company between Google/Microsoft/Apple/Linux Foundation? I don't know? I think this is the second best alternative to that.