pb/complete-and-document-auto-merge-and-friends (Was: Re: What's cooking in git.git (Apr 2023, #06; Thu, 20))

From: Elijah Newren <newren@gmail.com>
Date: Apr 22, 2023, 15:00 UTC
Message-ID: <CABPp-BGPbo8B6JXBOHTQs0LegpwHccbnnGe__ea05fkO_34YKA@mail.gmail.com>
In-Reply-To: <xmqqwn26w5cd.fsf@gitster.g>

On Thu, Apr 20, 2023 at 3:57 PM Junio C Hamano <gitster@pobox.com> wrote:

Show 14 quoted lines

>
> * pb/complete-and-document-auto-merge-and-friends (2023-04-14) 5 commits
>   (merged to 'next' on 2023-04-20 at 2728a01622)
>  + completion: complete AUTO_MERGE
>  + Documentation: document AUTO_MERGE
>  + git-merge.txt: modernize word choice in "True merge" section
>  + completion: complete REVERT_HEAD and BISECT_HEAD
>  + revisions.txt: document more special refs
>
>  Document more pseudo-refs and teach the command line completion
>  machinery to complete AUTO_MERGE.
>
>  Will merge to 'master'.
>  source: <pull.1515.git.1681495119.gitgitgadget@gmail.com>

This merged to next already?  Doh.

There was some misleading text (and a few typos) in 4/5, and good suggestions from both Eric and Victoria in the thread for wording and display improvements.

Perhaps we can at least wait for a fixup patch?