A one-time setup to fetch code directly from GitHub PRs, so you don't need to download their fork or figure out their branch name.

Pull directly from PRs.sh

# One-time setup
git config --global --add remote.origin.fetch "+refs/heads/*:refs/remotes/origin/*"
git config --global --add remote.origin.fetch "+refs/pull/*/head:refs/remotes/origin/pr/*" # This is the important one

# Make sure there aren't duplicate configs
git config --global --list

# Checkout someone else's PR!
git fetch origin
git checkout pr/20