From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 21 Aug 2020 18:34:49 GMT
Subject: Re: [PATCH v3 0/4] Use refs API for handling sundry pseudorefs
Message-ID: <xmqq1rjzalva.fsf@gitster.c.googlers.com>
In-Reply-To: <pull.706.v3.git.1598029177.gitgitgadget@gmail.com>

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

> This series changes the handling of CHERRY_PICK_HEAD and REVERT_HEAD to use
> the refs API, as a preliminary refactor for reftable. 
>
> No functional changes.
>
> Han-Wen Nienhuys (4):
>   refs: make refs_ref_exists public
>   sequencer: treat CHERRY_PICK_HEAD as a pseudo ref
>   builtin/commit: suggest update-ref for pseudoref removal
>   sequencer: treat REVERT_HEAD as a pseudo ref

Thanks.