OP#793 fix mirror
This commit is contained in:
1
Jenkinsfile
vendored
1
Jenkinsfile
vendored
@@ -109,6 +109,7 @@ pipeline {
|
|||||||
git pull origin master
|
git pull origin master
|
||||||
git branch -D development || echo "No development branch to delete"
|
git branch -D development || echo "No development branch to delete"
|
||||||
git branch -D jenkins-build || echo "No jenkins-build branch to delete"
|
git branch -D jenkins-build || echo "No jenkins-build branch to delete"
|
||||||
|
git branch -D jenkins-build-$BUILD_NUMBER || echo "No jenkins-build-$BUILD_NUMBER branch to delete"
|
||||||
git rm -f Jenkinsfile
|
git rm -f Jenkinsfile
|
||||||
git rm -r --cached .vscode || echo "No .vscode to remove from git"
|
git rm -r --cached .vscode || echo "No .vscode to remove from git"
|
||||||
git commit --amend --no-edit --allow-empty
|
git commit --amend --no-edit --allow-empty
|
||||||
|
|||||||
Reference in New Issue
Block a user