Microsoft acquires GitHub, the world’s largest code repository in a $7.5 billion deal