diff --git a/Jenkinsfile b/Jenkinsfile index eca0f0d..177b046 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -90,6 +90,7 @@ pipeline { sh ''' git config user.name "Jenkins Server" git config user.email jenkins@confdroid.com + 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 ''' @@ -111,6 +112,7 @@ pipeline { git branch -D development git branch -D jenkins-build-$BUILD_NUMBER git rm -f Jenkinsfile + git rm -r --cached .vscode || echo "No .vscode to remove from git" git commit --amend --no-edit --allow-empty git remote add master https://gitea.confdroid.com/confdroid/confdroid_postgresql.git git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \