diff --git a/Jenkinsfile b/Jenkinsfile index 0d99053..74c2e75 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -107,6 +107,8 @@ pipeline { sh ''' git checkout master git pull origin master + git branch -D development || echo "No development branch to delete" + git branch -D jenkins-build || echo "No jenkins-build branch to delete" git rm -f Jenkinsfile git rm -r --cached .vscode || echo "No .vscode to remove from git" git commit --amend --no-edit --allow-empty