From f4867170b685f824fce4c634ad8258ad8e2c366c Mon Sep 17 00:00:00 2001
From: Daniel Bauer <daniel.j.bauer@fau.de>
Date: Fri, 4 Apr 2025 09:50:21 +0200
Subject: [PATCH] escape colon

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 918fee30..6edf28cc 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -59,7 +59,7 @@ generate-child-pipeline:
           - git add operators
           - git status
           - 'git commit -m "CI: Generate operators (Pipeline #\$CI_PIPELINE_ID)." || echo WARNING: git commit failed. Continuing without changes to generated code.'
-          - git push --set-upstream origin ci/\$CI_PIPELINE_ID -o ci.skip -o merge_request.create -o merge_request.draft -o merge_request.label="ci-generate-operators" -o merge_request.assign="\$GITLAB_USER_ID" -o merge_request.title="Operators for \$CI_COMMIT_SHORT_SHA (\$CI_COMMIT_TITLE)" -o merge_request.description="ToDo: Please describe your change and take a look at the generated code.\n\nOperators generated for \$CI_COMMIT_SHA by pipeline #\$CI_PIPELINE_ID."
+          - 'git push --set-upstream origin ci/\$CI_PIPELINE_ID -o ci.skip -o merge_request.create -o merge_request.draft -o merge_request.label="ci-generate-operators" -o merge_request.assign="\$GITLAB_USER_ID" -o merge_request.title="Operators for \$CI_COMMIT_SHORT_SHA (\$CI_COMMIT_TITLE)" -o merge_request.description="ToDo: Please describe your change and take a look at the generated code.\n\nOperators generated for \$CI_COMMIT_SHA by pipeline #\$CI_PIPELINE_ID."'
       EOF
   artifacts:
     paths:
-- 
GitLab