Re: What's cooking in git.git (Dec 2023, #01; Sat, 9)

From: Jeff King <peff@peff.net>
Date: Dec 12, 2023, 01:32 UTC
Message-ID: <20231212013229.GF376323@coredump.intra.peff.net>
In-Reply-To: <xmqqa5qknnej.fsf@gitster.g>

On Fri, Dec 08, 2023 at 06:02:44PM -0800, Junio C Hamano wrote:

Show 8 quoted lines

> * jk/end-of-options (2023-12-09) 1 commit
>  - parse-options: decouple "--end-of-options" and "--"
> 
>  "git log --end-of-options --rev -- --path" learned to interpret
>  "--rev" as a rev, and "--path" as a path, as expected.
> 
>  Will merge to 'next'.
>  source: <20231206222145.GA136253@coredump.intra.peff.net>

A minor correction here (since this will eventually go to the release notes): "log --end-of-options --rev -- --path" always worked. It is "git reset" that is fixed (along with "checkout" and many other programs).

-Peff