Github has a CLI tool. Right now mine is behaving weirdly but I still wanted to check out a PR so I made this zsh function:

function gh_get_pr() {
  PRID=$1
  git fetch origin pull/$PRID/head:PR_$PRID && git switch PR_$PRID
}