diff --git a/Jenkinsfile b/Jenkinsfile index 268d25e..9f2c26f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -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