From c1cc65fcb9c3cbf4e0410aade0a1c4a042c41cca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B8rn=20Erik=20Pedersen?=
 <bjorn.erik.pedersen@gmail.com>
Date: Wed, 3 Dec 2025 11:51:37 +0100
Subject: [PATCH] release: Skip pushing stable and docs update for pre-releases

---
 merge-release.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/merge-release.sh b/merge-release.sh
index a87f9f4a1..288ffe286 100755
--- 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;