Some final words on Travis and GitLab