OP#575 rm puppet-lint.rc

2026-04-13 16:43:10 +02:00
parent 2bb6c5ecb8
commit 738a0efbc7
2 changed files with 3 additions and 1 deletions
--- a/1
+++ b/1
@@ -116,6 +116,7 @@ pipeline {
                  git branch -D jenkins-build-$BUILD_NUMBER
                  git rm -f Jenkinsfile
                  git rm -r --cached .vscode || echo "No .vscode to remove from git"
+                  git rm -r --cached .puppet-lint.rc || echo "No .puppet-lint.rc to remove from git"
                  git commit --amend --no-edit --allow-empty
                  git remote add master https://sourcecode.confdroid.com/confdroid/confdroid_ssh.git
                  git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \