From d4edee7b2df04637227e76a86e56c53e9bf1f1dd Mon Sep 17 00:00:00 2001
From: Arne Teuke <arne_teuke@confdroid.com>
Date: Wed, 26 Nov 2025 20:39:09 +0100
Subject: [PATCH] add step to push master to gitea

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 4c707ca..ecce4a5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -111,7 +111,7 @@ 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 origin HEAD:master
+                    push master --mirror
                   '''
               }
             }