[Git] – How to get a PR made for the upstream repo made for another person?

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