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