OP#437 add required content

2026-02-16 15:38:24 +01:00
parent 269013f6e8
commit 506738fc6b
4 changed files with 32 additions and 1 deletions
--- a/1
+++ b/1
@@ -57,7 +57,6 @@ pipeline {
            sh '''
                git config user.name "Jenkins Server"
                git config user.email jenkins@confdroid.com
-                git rm -r --cached docs || echo "No docs to remove from git"
                git rm -r --cached .vscode || echo "No .vscode to remove from git"
                git add -A && git commit -am "Recommit for updates in build $BUILD_NUMBER" || echo "No changes to commit"
                git push origin HEAD:master