I strongly support ensuring that our tools and processes enable users of all public and private Git solutions. Which I do believe we presently do have decent support on a per-package basis. Though the core of ROS is in practice tied heavily to GitHub I don't immediately see much making it impossible to move if there were the will to do so. That being said I do support minimizing conflict and remaining in GitHub today. I however, very much DO NOT trust Microsoft as a former employee of several years and encourage an exit plan should anything change. --- [Visit Topic](https://discourse.ros.org/t/microsoft-acquiring-github/5016/10) 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: