release: Skip pushing stable and docs update for pre-releases

diff --git a/merge-release.sh b/merge-release.sh
index a87f9f4a11c49191e944448817d9494aca4bc841..288ffe2869324f114d9183224c9c135b3048fdb4 100755 (executable)
--- a/merge-release.sh
+++ b/merge-release.sh
@@ -12,6 +12,12 @@ v=$1
 git merge "release-${v}" || die;
 git push || die;
 
+# If $v contains -alpha, -beta or -rc, skip the remaining steps.
+if [[ "${v}" == *"-alpha"* ||  "${v}" == *"-beta"* ||  "${v}" == *"-rc"* ]]; then
+  echo "Pre-release version detected; skipping stable and docs update."
+  exit 0
+fi
+
 git checkout stable || die;
 git reset --hard "v${v}" || die;
 git push -f || die;