Hahaha
Just few days ago I found out a plain solution without the gh client:
`git fetch origin pull/<PR_number>/head:local_branch` 

 you won't be able to push to an external contributors remote with that though, right? such a pita. 

 You need  also the contributor's branch, plus adding the new origin:
```
git push contributor local_branch:contributor_branch
```
Yes, quite pita. 

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

 Probably need to fetch/pull too before checking out the PR 

 What is a <PR_number> and where can I find it? 

 Yip. I even just used it to merge a PR that was made to the main repo of the Primal web app to my fork of Primal. 

 it didn’t work.