Joerg Jaspert pushed to branch deploy at Debian FTP Team / dak
Commits:
-
f86a0af3
by Joerg Jaspert at 2025-05-10T14:18:01+02:00
1 changed file:
Changes:
... | ... | @@ -57,7 +57,10 @@ function update_masterdir() { |
57 | 57 | # We do not want local changes
|
58 | 58 | git stash save --include-untracked --all "Update for commitid ${NEWHEAD}"
|
59 | 59 | # And switch to the commit we just verified
|
60 | - git checkout ${NEWHEAD}
|
|
60 | + git checkout ${NEWHEAD} || {
|
|
61 | + log_error "git checkout ${NEWHEAD} failed"
|
|
62 | + laststeps 2
|
|
63 | + }
|
|
61 | 64 | }
|
62 | 65 | |
63 | 66 | function cleanlogs() {
|