GitHub – Easily fetch a remote pull request
A colleague needs some help with some code or you just want to check it out and play with it. Here is what you need to do: where $PR_ID is the pull request ID and $BRANCH_NAME is the name of the branch that you want to create. Then check out the branch: Read more on…