[ros-dev] Microsoft acquires GitHub