diff options
Diffstat (limited to 'scripts/release.sh')
-rwxr-xr-x | scripts/release.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/release.sh b/scripts/release.sh index d6ffc338f..fd66a86ea 100755 --- a/scripts/release.sh +++ b/scripts/release.sh @@ -75,8 +75,14 @@ else fi # Do a pull to make sure we are up to date. - git pull --ff + pull_response=$(git pull --ff) + # Check that the pull was successful If we did not get a response, then we know the pull failed. + if [ -z "$pull_response" ]; then + echo "git pull for automatic checkout has failed. Abort." + exit 0 + fi + # Now do the checkout git checkout $develop_branch |