Hello everyone! After that Microsoft bought GitHub and many GitHub users have migrated to GitLab, I was wondering what is next for ROS right now? Thank you! --- [Visit Topic](https://discourse.ros.org/t/microsoft-acquiring-github/5016/1) or reply to this email to respond.