diff options
| author |  Michael Haggerty <mhagger@alum.mit.edu> | 2016-06-18 06:15:11 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2016-06-20 11:38:18 -0700 |
| commit | 29a7cf96441241a291edca8136ab3cc80201e7ee (patch) | |
| tree | 883fa183dd1da8903da9222c02562ce07dc5cd96 /Documentation/git-verify-commit.txt | |
| parent | delete_refs(): add a flags argument (diff) | |
| download | tgif-29a7cf96441241a291edca8136ab3cc80201e7ee.tar.xz | |
remote rm: handle symbolic refs correctly
In the modern world of reference backends, it is not OK to delete a
symref by unlink()ing the file directly. This must be done via the refs
API.
We do so by adding the symref to the list of references to delete along
with the non-symbolic references, then calling delete_refs() with the
new flags option set to REF_NODEREF.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-verify-commit.txt')
0 files changed, 0 insertions, 0 deletions