Hi Junio, Le 2023-01-09 à 09:58, Junio C Hamano a écrit : > * 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@xxxxxxxxx> I've sent a v2 with an added link to the mailing list thread that initiated the series.
