Merge pull request #5356

Zetok Zalbavar (1):
      chore: make {merge,test}-pr.sh scripts accept hash-preceded PR number

merge-pr.sh

@@ -31,7 +31,7 @@
 
 set -e -o pipefail
 
-readonly PR=$1
+readonly PR="${1###}"
 
 # make sure to add newlines to the message, otherwise merge message
 # will not look well

test-pr.sh

@@ -30,7 +30,7 @@
 
 set -e -o pipefail
 
-readonly PR=$1
+readonly PR="${1###}"
 
 # make sure to add newlines to the message, otherwise merge message
 # will not look well