This command could save you from depression
```
$ gh pr checkout
Hahaha
Just few days ago I found out a plain solution without the gh client:
`git fetch origin pull//head:local_branch`
Please Login to reply.
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.
