To fetch a remote PR into your local repo, git fetch origin pull/$ID/head:$BRANCHNAME where $ID is the pull request id and $BRANCHNAME is the name of the new branch that you want to create. Once you have created the branch, then simply git checkout $BRANCHNAME For instance, let’s imagine you want to checkout pull request … Read more
To update a pull request To update a pull request (point #1), the only thing you need to do is checkout the same branch the pull request is from and push to it again: cd /my/fork git checkout master … git commit -va -m “Correcting for PR comments” git push Optional – Cleaning commit history … Read more
(In addition to the official “GitHub Help ‘Using pull requests’ page“, see also “Forking vs. Branching in GitHub“, “What is the difference between origin and upstream in GitHub“) Couple tips on pull-requests: Assuming that you have first forked a repo, here is what you should do in that fork that you own: create a branch: … Read more