News for hackers. Stuff that matters.

A comment on Ask HN: When did GitHub replace standard Git commands with the “GitHub CLI?”. Parent comment

Re:Ask HN: When did GitHub replace standard Git commands wit... by nagisa on Monday January 23, 2023 @10:35AM (#34490021)
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
[ Parent | on HN ]

There are no comments on this comment yet.