Has Microsoft acquired GitHub?

Tech