diff options
| author |  Han-Wen Nienhuys <hanwen@google.com> | 2020-08-21 16:59:35 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2020-08-21 11:20:10 -0700 |
| commit | c8e4159efd226218d827b5da71fc8f95f8172412 (patch) | |
| tree | 7db9b2330fd75041ed1559724ba9669b8511951f /builtin/fetch.c | |
| parent | refs: make refs_ref_exists public (diff) | |
| download | tgif-c8e4159efd226218d827b5da71fc8f95f8172412.tar.xz | |
sequencer: treat CHERRY_PICK_HEAD as a pseudo ref
Check for existence and delete CHERRY_PICK_HEAD through ref functions.
This will help cherry-pick work with alternate ref storage backends.
Signed-off-by: Han-Wen Nienhuys <hanwen@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/fetch.c')
0 files changed, 0 insertions, 0 deletions