From c1e40ea3022171475ed5037d4ebeb5872debfd53 Mon Sep 17 00:00:00 2001
From: 12ww1160 <arne@confdroid.com>
Date: Wed, 3 Dec 2025 15:59:00 +0100
Subject: [PATCH] OP#188 remove Jenksinfile from public mirror

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 2ac160a..338b027 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -112,7 +112,7 @@ pipeline {
                         git branch -D jenkins-build-$BUILD_NUMBER
                         git remote add master https://gitea.confdroid.com/confdroid/prometheus_cd.git
                         git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \
-                        push master - $(git subtree split --prefix=:/^Jenkinsfile --invert-paths --rejoin origin/main):refs/heads/main  -mirror
+                        push master $(git subtree split --prefix=:/^Jenkinsfile --invert-paths --rejoin origin/main):refs/heads/main  --mirror
                     '''
 					}
 				}