OP#547 remove unwanted things from git

2026-03-29 16:03:32 +02:00
parent 668c4ab2f8
commit 82dc4194ce
20 changed files with 2 additions and 2937 deletions
--- a/2
+++ b/2
@@ -118,6 +118,8 @@ pipeline {
                  git branch -D development
                  git branch -D jenkins-build-$BUILD_NUMBER
                  git rm -f Jenkinsfile
+                  git rm -r --cached .scannerwork || echo "No .scannerwork to remove from git"
+                  git rm -r --cached .yardoc || echo "No .yardoc to remove from git"
                  git rm -r --cached .vscode || echo "No .vscode to remove from git"
                  git commit --amend --no-edit --allow-empty
                  git remote add master https://sourcecode.confdroid.com/confdroid/confdroid_automatic.git