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
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_nameEg:
git fetch origin pull/1234/head:pr-1234Read 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_NoandBranch_nameitself?I think it's also possible to suggest a
remote_nametoo by checking if the username of user matches the owner of the repo.Example: https://github.com/substack/browser-launcher/pull/35