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

---
 Jenkinsfile | 3 +--
 README.md   | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index cfbcc5a..2ac160a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -110,10 +110,9 @@ pipeline {
                         git pull origin master
                         git branch -D development
                         git branch -D jenkins-build-$BUILD_NUMBER
-                        git filter-repo --path Jenkinsfile --invert-paths
                         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 --mirror
+                        push master - $(git subtree split --prefix=:/^Jenkinsfile --invert-paths --rejoin origin/main):refs/heads/main  -mirror
                     '''
 					}
 				}
diff --git a/README.md b/README.md
index 632acef..7fef70e 100644
--- a/README.md
+++ b/README.md
@@ -46,7 +46,7 @@ Configurable options:
   - `ps_auth_ext_user`must be a valid user
   - `ps_auth_ext_pass`must be a valid password
 
-## Repo Documentation
+## Puppet Documentation
 
 See the full Puppet documentation including parameters in `docs/index.html`