Re: [PATCH v3 0/4] Use refs API for handling sundry pseudorefs

[Junio C Hamano <gitster@xxxxxxxxx>]

"Han-Wen Nienhuys via GitGitGadget" <gitgitgadget@xxxxxxxxx> 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.