Oddbean new post about | logout
▲ ▼
dtonon | 2 months ago (raw) | root | parent | reply | flag 
 Hahaha
Just few days ago I found out a plain solution without the gh client:
`git fetch origin pull/<PR_number>/head:local_branch`
▲ ▼
calle 👁️⚡👁️ | 2 months ago (raw) | root | parent | reply | flag 
 you won't be able to push to an external contributors remote with that though, right? such a pita.
▲ ▼
dtonon | 2 months ago (raw) | root | parent | reply | flag 
 You need  also the contributor's branch, plus adding the new origin:
```
git push contributor local_branch:contributor_branch
```
Yes, quite pita.