From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 18 Aug 2020 21:06:45 GMT
Subject: Re: [PATCH 3/3] Treat REVERT_HEAD as a pseudo ref
Message-ID: <xmqqo8n7wtne.fsf@gitster.c.googlers.com>
In-Reply-To: <173d81dbb41c3a7f4ab5187c1a056da182c4f6e5.1597753075.git.gitgitgadget@gmail.com>

"Han-Wen Nienhuys via GitGitGadget" <gitgitgadget@gmail.com> writes:

> From: Han-Wen Nienhuys <hanwen@google.com>
>
> Signed-off-by: Han-Wen Nienhuys <hanwen@google.com>
> ---

This does what was advertised by the proposed log message in the
previous patch for REVERT_HEAD.  I see nothing questionable here.

Nice.