Skip to content

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

@rahgurung

Description

@rahgurung

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions