Suppose someone (not me) submitted a Pull Request on GitHub.
Locally, I would like to run that work. Hence, I need to have the code locally. Following this documentation, I can achieve that in the terminal with:
$ git fetch origin pull/ID/head:BRANCH_NAME
ID is the PR #number on GitHUb. And
BRANCH_NAME is the branch associated to the PR.
I tried doing the same via Magit interface but had no success.
I tried pressing
f (associated to command
Fetch. Then, typing
elsewhere and typing
origin pull/ID/head:BRANCH_NAME or
origin/pull/ID/head:BRANCH_NAME. But, it did not work out.
How can I achieve the same via Magit?