git-merge-pull-request: remove a bash-ism and fix an error message