diff options
author | Han-Wen Nienhuys <hanwen@google.com> | 2020-08-21 16:59:36 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-08-21 11:20:10 -0700 |
commit | b6d2558c9ea37382078635022f8932565bea8ca1 (patch) | |
tree | 37eae363af32946241769b62423aaca702fcf6f6 /ci | |
parent | sequencer: treat CHERRY_PICK_HEAD as a pseudo ref (diff) | |
download | tgif-b6d2558c9ea37382078635022f8932565bea8ca1.tar.xz |
builtin/commit: suggest update-ref for pseudoref removal
When pseudorefs move to a different ref storage mechanism, pseudorefs no longer
can be removed with 'rm'. Instead, suggest a "update-ref -d" command, which will
work regardless of ref storage backend.
Signed-off-by: Han-Wen Nienhuys <hanwen@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions