check-pr: use better regex (#11525)

* check-pr: more descriptive message

* check-pr: better regex

* Update check-pr.sh
pull/23/head
Sebastiaan Speck 2023-11-17 18:45:25 +01:00 committed by GitHub
parent 71a07e70c9
commit 6edd7d1854
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -64,7 +64,7 @@ function check_missing_english_page() {
function check_outdated_page() { function check_outdated_page() {
local page=$1 local page=$1
local english_page="pages/${page#pages*\/}" local english_page="pages/${page#pages*\/}"
local command_regex='^`.*`$' local command_regex='^`[^`]\+`$'
if [[ "$page" = "$english_page" ]] || [[ ! -f "$english_page" ]]; then if [[ "$page" = "$english_page" ]] || [[ ! -f "$english_page" ]]; then
return 1 return 1