Without github CLI:
```
git config --add remote.origin.fetch "+refs/pull/*/head:refs/remotes/origin/pr/*"
git checkout pr/<PR_number>
`
``