From 558f5506789788c417afa745a72a0b705a65e932 Mon Sep 17 00:00:00 2001 From: Arne Teuke Date: Wed, 26 Nov 2025 20:45:45 +0100 Subject: [PATCH] add step to push master to gitea and delete other branches --- Jenkinsfile | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 0051712..ab7685a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -109,12 +109,11 @@ pipeline { sh ''' git checkout master git pull origin master + git branch -D development + git branch -D jenkins-build-$BUILD_NUMBER 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 \ - branch -D development \ - branch -D jenkins* - + push master --mirror ''' } }