From b661cdcf84b3bf489a883dbd30f75b9a91957c8d Mon Sep 17 00:00:00 2001 From: Arne Teuke Date: Wed, 26 Nov 2025 20:42:02 +0100 Subject: [PATCH] add step to push master to gitea and delete other branches --- Jenkinsfile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index ecce4a5..0051712 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -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* + ''' } }