CircleCI : une ouverture qui passe par GitLab