From 61265f8a35c53907ba138a8678f26f6aeff18051 Mon Sep 17 00:00:00 2001
From: Paul Fournillon <paul.fournillon@datadoghq.com>
Date: Wed, 22 Jul 2026 22:20:14 +0200
Subject: [PATCH] chore: address release script

---
 .github/scripts/release.sh | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.github/scripts/release.sh b/.github/scripts/release.sh
index d6dd432859..150175ebe6 100755
--- a/.github/scripts/release.sh
+++ b/.github/scripts/release.sh
@@ -20,8 +20,13 @@ check_not_stuck() {
   local base=$1
   local branch=$2
 
-  [ -n "$DRYRUN" ] && return
-  git rev-parse "v_${base}" >/dev/null 2>&1 || return
+  if [ -n "$DRYRUN" ]; then
+    return 0
+  fi
+
+  if ! git show-ref --verify --quiet "refs/tags/v_${base}"; then
+    return 0
+  fi
 
   echo "::error::${branch} is stuck at version ${base}, which is already tagged (v_${base})."
   echo "::error::The automated post-release version-bump PR for this branch was never merged."