From 33cb01a2f6668aa313aa07a91691a9500cf22e9e Mon Sep 17 00:00:00 2001
From: Daniel Bauer <daniel.j.bauer@fau.de>
Date: Tue, 1 Apr 2025 18:28:13 +0200
Subject: [PATCH] [ci] add job to file MR with generated operators
---
.gitlab-ci.yml | 12 ++++++++++++
1 file changed, 12 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 57f8c6b6..5a273e46 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -46,8 +46,20 @@ generate-child-pipeline:
file-mr:
stage: file-mr
+ when: manual
+ before_script:
+ - apt-get update -yqq
+ - apt-get install -yqq --no-install-recommends git
script:
+ - export GIT_SSL_CAINFO=\$CI_SERVER_TLS_CA_FILE
+ - git remote set-url --push origin "https://bot:\$ACCESS_TOKEN@\${CI_REPOSITORY_URL#*@}"
+ - git config --local user.email "\$GITLAB_USER_EMAIL"
+ - git config --local user.name "\$GITLAB_USER_NAME"
+ - git switch -c ci/\$CI_PIPELINE_ID
+ - 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"
EOF
artifacts:
paths:
--
GitLab