I've found that adding
fetch = +refs/pull/*/head:refs/remotes/origin/pr/*
to my .git/config lets me treat PRs as regular remote branches. This looks neat, but does it provide anything extra that's PR-specific?