diff --git a/Jenkinsfile b/Jenkinsfile index 69612c1..b42b4ea 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -87,6 +87,8 @@ stage('build and push image to gitlab') { sh ''' git checkout master git pull origin master + git rm -f Jenkinsfile || echo "no Jenkinsfile to remove from git" + git rm -r --cached .vscode || echo "No .vscode to remove from git" git remote add master https://sourcecode.confdroid.com/confdroid/confdroid_pgbouncer.git git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \ push master --mirror