Check out GitHub pull requests locally. Part of `git-extras`.
Check out a specific pull request
git pr pr_number
Check out a pull request from a specific remote
git pr pr_number remote
Check out a pull request from its URL
git pr url
Clean up old pull request branches
git pr clean