Microsoft acquired the social code sharing and collaboration platform GitHub for $7.5 billion on June…