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
I'd consider adding the change to the original gist if the process works, the thing I'd be worried about in this setup is if you
git prfrom a local branch, it doesn't make sure that the base is on latest master.