pb/doc-orig-head (was: Re: What's cooking in git.git (Jan 2023, #03; Mon, 9))
- From
Philippe Blain <levraiphilippeblain@gmail.com>
- Date
- Jan 10, 2023, 22:44 UTC
- Message-ID
- <a7aa0282-ef3a-0165-dd7c-8a4b004e53f1@gmail.com>
- In-Reply-To
- <xmqqlembu551.fsf@gitster.g>
Hi Junio,
Le 2023-01-09 à 09:58, Junio C Hamano a écrit :
Show 11 quoted lines
> * pb/doc-orig-head (2023-01-08) 5 commits > - git-rebase.txt: add a note about 'ORIG_HEAD' being overwritten > - revisions.txt: be explicit about commands writing 'ORIG_HEAD' > - git-merge.txt: mention 'ORIG_HEAD' in the Description > - git-reset.txt: mention 'ORIG_HEAD' in the Description > - git-cherry-pick.txt: do not use 'ORIG_HEAD' in example > > Document ORIG_HEAD a bit more. > > Will merge to 'next'? > source: <pull.1456.git.1673120359.gitgitgadget@gmail.com>
I've sent a v2 with an added link to the mailing list thread that initiated the series.