From 6edd7d18542107de2a8efaf7b1420b6fb01efd77 Mon Sep 17 00:00:00 2001
From: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>
Date: Fri, 17 Nov 2023 18:45:25 +0100
Subject: [PATCH] check-pr: use better regex (#11525)

* check-pr: more descriptive message

* check-pr: better regex

* Update check-pr.sh
---
 scripts/check-pr.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/check-pr.sh b/scripts/check-pr.sh
index 96fc3cdc4..d982993a9 100755
--- a/scripts/check-pr.sh
+++ b/scripts/check-pr.sh
@@ -64,7 +64,7 @@ function check_missing_english_page() {
 function check_outdated_page() {
   local page=$1
   local english_page="pages/${page#pages*\/}"
-  local command_regex='^`.*`$'
+  local command_regex='^`[^`]\+`$'
 
   if [[ "$page" = "$english_page" ]] || [[ ! -f "$english_page" ]]; then
     return 1