Merge branch 'pb/doc-orig-head'
commit9c2003a6cb99a8aa5aeb7c311247456264799f7f
authorJunio C Hamano <gitster@pobox.com>
Sun, 22 Jan 2023 01:22:00 +0000 (21 17:22 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 22 Jan 2023 01:22:00 +0000 (21 17:22 -0800)
treea9a04733397ddda8aa4caf7c8935d1b3795d984e
parentb106341d577a42fbcc8b7155901492d0188b0a20
parentf1c9243fc5e5234ed00d3ecb71f2629c18d791ab
Merge branch 'pb/doc-orig-head'

Document ORIG_HEAD a bit more.

* pb/doc-orig-head:
  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