improve release branch

.github/scripts/verify_is_on_release_branch.sh

@@ -1,11 +1,18 @@
 #!/usr/bin/env bash
 
-# This script verifies, that the current branch name starts with 'release-'
+# This script verifies, that the current branch name is 'release-x.y', where x and y are multi-digit integers.
 
-CURRENT_BRANCH=$(git rev-parse --abbrev-ref HEAD)
-if [[ "$CURRENT_BRANCH" == release-* ]]; then
-	echo "Branch name starts with 'release-'."
+# Get the current Git branch name.
+current_branch=$(git rev-parse --abbrev-ref HEAD)
+
+# Define the pattern.
+pattern="^release-[0-9]+[0-9]*\.[0-9]+[0-9]*$"
+
+# Check if the branch name matches the pattern.
+if [[ $current_branch =~ $pattern ]]; then
+	echo "the current branch ($current_branch) is a release branch"
+	exit 0
 else
-	echo "Branch name does not start with 'release-'."
+	echo "error; the current branch ($current_branch) is not a release branch"
 	exit 1
 fi