From 523bcc0863d95591d9a69c695bcf7e4c60c52127 Mon Sep 17 00:00:00 2001
From: 12ww1160 <12ww1160@confdroid.com>
Date: Sun, 27 Sep 2026 14:02:41 +0200
Subject: [PATCH] OP#793 fix mirror

---
 Jenkinsfile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index a1d4d7d..9e8c23c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -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