[steveklabnik]

You can do that. Just see what branch the pull request is on, then git pull it, followed by a merge of FETCH_HEAD.