3 ms·
Not a single command, but looking up other repositories is not necessary. Pull requests will create refs in the repository against which the PR was created, whi
by nagisa 4y ago
Not a single command, but looking up other repositories is not necessary. Pull requests will create refs in the repository against which the PR was created, which you can then fetch.
git fetch origin refs/pull/123/head
git checkout FETCH_HEAD
This is actually somewhat preferable to me, because I don't always want to _checkout_ the PR. For example if I’m looking to integrate it into my branch via the CLI, its a
git fetch origin refs/pull/123/head
git merge --ff-only (or whatever) FETCH_HEAD