Useful alias for easily checking out a GitHub PR.
Useful alias for easily checking out a GitHub PR.

Taken directly from @sethvargo: https://sethvargo.com/checkout-a-github-pull-request/

jonathanchu/dotfiles,jonathanchu/dotfiles,jonathanchu/dotfiles