I don't understand this non-sense about migrating to Gitlab. As long as Github doesn't change the Terms of Service in a way that annoys its users, I wonder why we should even consider migrating. --- [Visit Topic](https://discourse.ros.org/t/microsoft-acquiring-github/5016/2) or reply to this email to respond.