From a19ba9162c2dd56b899b22f6de695a1d0c54c0a8 Mon Sep 17 00:00:00 2001
From: Derek Roberts <derek.roberts@gmail.com>
Date: Fri, 1 Dec 2023 11:09:11 -0800
Subject: [PATCH] fix: pr number check and tags in main merge

---
 .github/workflows/merge.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/merge.yml b/.github/workflows/merge.yml
index 612a14814..83d791d26 100644
--- a/.github/workflows/merge.yml
+++ b/.github/workflows/merge.yml
@@ -61,7 +61,7 @@ jobs:
           echo -e "Last merged PR: ${PR_NO}"
 
           # Validate PR number and send to GitHub Output
-          if [ "${PR_NO}" =~ ^[0-9]+$ ]; then
+          if [[ "${PR_NO}" =~ ^[0-9]+$ ]]; then
             echo "No PR number not found"
             exit 1
           fi