On Thu, Apr 20, 2023 at 3:57 PM Junio C Hamano <gitster@xxxxxxxxx> wrote: > > * 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@xxxxxxxxx> 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?
