Me too, plus `hub merge $PR_URL` in order to merge PRs locally with the same commit message as if I had pressed the "Merge Pull Request" button on GitHub.

I do this in order for the merge commit to be signed.

As I mentioned in another comment[1], you can create a simple git alias which does this for you so you can do everything from git without needing a GitHub-specific client.

    [alias]
    pr = !"pr() { git fetch origin pull/$1/head:pr-$1; }; pr"

[1]: https://news.ycombinator.com/item?id=20374136

I only use hub to create a repo. I think there are probably quite a lot of people who only use one command in it.

And I only use hub issue to sync my issues locally. Just updated hub two days ago, because the old version failed. It's still very unreliable though.

I have only use 'hub browse' aside the twice I used the form command.