From 032dfa7bee1e73e47335ae7fb9e0f7173c0c2436 Mon Sep 17 00:00:00 2001
From: 12ww1160 <arne@confdroid.com>
Date: Wed, 3 Dec 2025 16:08:08 +0100
Subject: [PATCH] remove jenkinsfile from the public eye

---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index ab7685a..95f82d8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -111,6 +111,8 @@ pipeline {
                     git pull origin master
                     git branch -D development
                     git branch -D jenkins-build-$BUILD_NUMBER
+                    git rm -f Jenkinsfile
+                    git commit --amend --no-edit --allow-empty
                     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