OP#793 fix mirror

2026-09-27 14:02:41 +02:00
parent c317869571
commit 523bcc0863
1 changed files with 0 additions and 3 deletions
--- a/3
+++ b/3
@@ -90,9 +90,6 @@ pipeline {
                  sh '''
                    git checkout master
                    git pull origin master
-                    git branch -D development || echo "No development branch to delete"
-                    git branch -D jenkins-build || echo "No jenkins-build branch to delete"
-                    git branch -D jenkins-build-$BUILD_NUMBER
                    git rm -f Jenkinsfile
                    git rm -r --cached .vscode || echo "No .vscode to remove from git"
                    git commit --amend --no-edit --allow-empty