Commit London 2019: Our migration to GitLab CI from Jenkins