github-merge-pr: fix typo and correctly exit on error
authorChristian Marangi <ansuelsmth@gmail.com>
Mon, 19 Sep 2022 18:07:05 +0000 (20:07 +0200)
committerChristian Marangi <ansuelsmth@gmail.com>
Mon, 19 Sep 2022 18:07:05 +0000 (20:07 +0200)
commit8e9ba09aaa0859bc10bba82e24447a0233037994
tree7b5f6adf7d7c14ce95025bdc72ac252dbc1e2079
parent953161d6963bdf7d8fd456e96ce594995389f257
github-merge-pr: fix typo and correctly exit on error

Fix typo where echo is used instead of exit for exit error condition.

Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
github-merge-pr.sh