diff options
| -rwxr-xr-x | scripts/release.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/release.sh b/scripts/release.sh index 03954f860..04b79857b 100755 --- a/scripts/release.sh +++ b/scripts/release.sh @@ -73,7 +73,8 @@ else fi # Do a fetch to make sure we are up to date. - git fetch -ff + # git fetch + git pull -ff # Now do the checkout git checkout $develop_branch |