3 ms·
You can pretty easily check out a PR using the regular Git CLI. GitHub adds refs for pull requests that you can fetch. git fetch origin pull/ID/head:BRANCH_N
by kevincox 4y ago
You can pretty easily check out a PR using the regular Git CLI. GitHub adds refs for pull requests that you can fetch.
git fetch origin pull/ID/head:BRANCH_NAME
From: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally https://docs.github.com/en/pull-requests/collaborating-with-...
Sure, the whole workflow isn't a "standard Git workflow" but they could easily provide a command that works with the standard Git CLI.
- seba_dos1 4y ago> but they could easily provide a command that works with the standard Git CLI. And that's what they used to do there.