Merge remote-tracking branch 'origin/ci-push-local-repo' into integration_2026_w14 (!4017)
CI: Add stage to push to local git repository This MR includes minor code cleanup and fixes for warnings reported by Jenkins. It also introduces a new stage in ci-scripts/Jenkinsfile-GitLab-Container that pushes the branch to a local repository after the merge. In a follow-up MR, this local repository will be used as the source for cloning the branch, replacing direct access to GitLab/GitHub.
Showing
Please register or sign in to comment