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-speci

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 https://news.ycombinator.com/item?id=20374136