pb/doc-orig-head (was: Re: What's cooking in git.git (Jan 2023, #03; Mon, 9))

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: [ref]

I've sent a v2 with an added link to the mailing list thread
that initiated the series.