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 /po/tr.po | |
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 'po/tr.po')
0 files changed, 0 insertions, 0 deletions