なんかブラウザポチポチするのがめんどくさくなって、hub mergeしてからgit pushしたら普通にブラウザ上のプルリクもちゃんとマージされていた。 内部的には下のコマンドを実行しているだけなので、もとのブランチで実行する必要があるっぽいけど
$ hub merge https://github.com/jingweno/gh/pull/73 > git fetch origin refs/pull/73/head > git merge FETCH_HEAD --no-ff -m "Merge pull request #73 from jingweno/feature..."
hub-merge(1) - Merge a pull request locally with a message like the GitHub Merge Button.
