Message ID | pull.706.v3.git.1598029177.gitgitgadget@gmail.com (mailing list archive) |
---|---|
Headers | show |
Series | Use refs API for handling sundry pseudorefs | expand |
"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.