Moving to GitLab: Yes, it's worth it