diff --git a/release.sh b/release.sh index 1ec4afb6d..cebeb0139 100755 --- a/release.sh +++ b/release.sh @@ -237,6 +237,7 @@ fi # if it is a pre-release, leave it on the release branch for now. if [ $prerelease -eq 1 ]; then + git checkout "$rel_branch" exit 0 fi