push-to-pull-request: Fix shell usage in an error path.

Errors go to stderr, not stdout.

While we're here, match the message itself to the others in
this script.
This commit is contained in:
Greg Price 2018-07-23 23:13:03 -07:00
parent 26d0904436
commit 79dfe6e0ae
1 changed files with 1 additions and 1 deletions

View File

@ -69,7 +69,7 @@ pr_jq () {
}
if [ "$(pr_jq -r .message)" = "Not Found" ]; then
echo "Invalid PR URL: $pr_url"
echo "error: invalid PR URL: $pr_url" >&2
exit 1
fi