diff --git a/tools/push-to-pull-request b/tools/push-to-pull-request index 744433861f..2f02dcafa1 100755 --- a/tools/push-to-pull-request +++ b/tools/push-to-pull-request @@ -50,7 +50,8 @@ pr_details="$(curl -s "$pr_url")" pr_jq () { echo "$pr_details" | jq "$@" } -if [ "$(pr_jq .message)" = '"Not Found"' ]; then + +if [ "$(pr_jq -r .message)" = "Not Found" ]; then echo "Invalid PR URL: $pr_url" exit 1 fi