From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 08 Jan 2023 02:08:54 GMT
Subject: Re: [PATCH 4/5] revisions.txt: be explicit about commands writing 'ORIG_HEAD'
Message-ID: <xmqqcz7p22x5.fsf@gitster.g>
In-Reply-To: <302b789a4869c2aa8a0de2f71a2725c6c567685f.1673120359.git.gitgitgadget@gmail.com>

"Philippe Blain via GitGitGadget" <gitgitgadget@gmail.com> writes:

> -way, to record the position of the `HEAD` before their operation, so that
> +way (`git am`, `git merge`, `git rebase`, `git reset`),

Let's not commit that these four will forever stay to be the
commands that uses ORIG_HEAD.  Perhaps "(e.g. `git am`, ...)"?

> +to record the position of the `HEAD` before their operation, so that