[ros-users] [Discourse.ros.org] [General] Microsoft acquirin…

Let's just be clear, M$ bought Github, not git itself. If they decide to create MS-git, then we should look at moving repos.

That said, as many people have stated, it can't hurt to mirror gitlabs or a local repo to github for High Availability and re-assurance.

Thanks,
D





---
[Visit Topic](https://discourse.ros.org/t/microsoft-acquiring-github/5016/17) or reply to this email to respond.


If you do not want to receive messages from ros-users please use the unsubscribe link below. If you use the one above, you will stop all of ros-users from receiving updates.
______________________________________________________________________________
ros-users mailing list
ros-users@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-users
Unsubscribe: <http://lists.ros.org/mailman//options/ros-users>