git fetch <remote>
git merge <remote>/<ref>
Where remote
is the name of the remote branch that the pull request originated from and ref
is the identifier of the commit (or branch) requesting the pull. So if you have the main repository as a remote named upstream
and that repo has a pull request based off of 5d4434e
(like this repository's pull request). You would run:
git fetch upstream
git merge upstream/5d4434e
This will merge that commit and all of the history missing from your local repo. If you wanted to merge just that commit's changes and not all of the history, you may want git cherry-pick upstream/5d4434e
.