To check out the PR:
git fetch upstream pull/<PR number>/head:pr
git checkout pr
To push for his/her fork:
git push --set-upstream origin pr
Solutions for developers
To check out the PR:
git fetch upstream pull/<PR number>/head:pr
git checkout pr
To push for his/her fork:
git push --set-upstream origin pr