remove jenkinsfile from the public eye

2025-12-03 16:08:08 +01:00
parent 558f550678
commit 032dfa7bee
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@@ -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