add step to push master to gitea and delete other branches

2025-11-26 20:42:02 +01:00
parent d4edee7b2d
commit b661cdcf84
1 changed files with 4 additions and 1 deletions
--- a/5
+++ b/5
@@ -111,7 +111,10 @@ pipeline {
                    git pull origin master
                    git remote add master https://gitea.confdroid.com/confdroid/puppet_cd.git
                    git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \
-                    push master --mirror
+                    push master --mirror \
+                    branch -D development \
+                    branch -D jenkins*
+
                  '''
              }
            }