Either copy the aliases from the .gitconfig or run the commands in add-pr-alias.sh
Easily checkout local copies of pull requests from remotes:
git pr 4- creates local branchpr/4from the githubupstream(if it exists) ororiginremote and mergesmaininto itgit pr 4 someremote- creates local branchpr/4fromsomeremoteremote and checks it outgit pr-merge- merges the currently checked out PR intomaingit pr-clean- removes all pr/* branches from your local repo
github has a refs/pull/*/merge also that you could probs just fetch - not sure if you looked into that.