Can RG recommend me the command to fetch a PR locally?

Sometimes you want to pull a PR locally to test and it’s really some work when you have to do something like

git fetch remote_name pull/PR_No/head:Branch_name Eg: git fetch origin pull/1234/head:pr-1234

Read more at: https://blog.scottlowe.org/2015/09/04/checking-out-github-pull-requests-locally/

Can Refined Github suggest the command itself by doing the hard work of sorting the PR_No and Branch_name itself?

I think it’s also possible to suggest a remote_name too by checking if the username of user matches the owner of the repo.

Example: https://github.com/substack/browser-launcher/pull/35

[fregante]

Honestly I would suggest this to GitHub themselves; this text should be added by them:

However I wouldn’t mind adding a couple of “click to pull” buttons on all PRs (also replacing that text on PRs you can merge):

• one button copies hub pull $url
• the other button is a GitHub Desktop link, like the one appearing above

[fregante]

PR welcome to add a third tab in that dropdown with instructions to fetch the PR with the ability to push to that origin. The dropdown only exists for maintainers, so it makes sense to include that ability.

I think the command is this, but exploration needed:

git remote add fregante https://github.com/fregante/refined-github.git
git checkout fregante/branch-of-this-pr