From 96abe7bd38c314b7d83b1cbcac34ecf03c6d7657 Mon Sep 17 00:00:00 2001
From: 12ww1160 <12ww1160@confdroid.com>
Date: Thu, 16 Apr 2026 16:08:48 +0200
Subject: [PATCH] OP#581 edit jenkinsfile so the mirror only receives relevant
 files

---
 Jenkinsfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index cb9af2d..a8cdc29 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -123,6 +123,12 @@ pipeline {
                     || git remote add master https://sourcecode.confdroid.com/confdroid/confdroid_jenkins.git
                   git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \
                   push --force master HEAD:refs/heads/master
+                  git ls-remote --heads master | awk '{print $2}' | sed 's#refs/heads/##' | while read branch; do
+                    if [ -n "$branch" ] && [ "$branch" != "master" ]; then
+                      git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \
+                      push master --delete "$branch"
+                    fi
+                  done
                   '''
           }
         }