diff --git a/Jenkinsfile b/Jenkinsfile index 81c5238..a20bcf4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -19,11 +19,12 @@ pipeline { export GIT_SSH_COMMAND="ssh -i $GIT_KEYFILE -o StrictHostKeyChecking=accept-new" if [ -d .git ]; then git remote set-url origin ssh://git@git.mandelblog.com:2222/salt/mandelstudio.git - git fetch --tags --force --progress origin + git fetch --tags --force --progress origin +refs/heads/master:refs/remotes/origin/master else git clone ssh://git@git.mandelblog.com:2222/salt/mandelstudio.git . + git fetch --tags --force --progress origin +refs/heads/master:refs/remotes/origin/master fi - git checkout -f origin/master + git checkout -f refs/remotes/origin/master ''' } }