diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2008-03-08 23:40:42 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-03-08 21:30:22 -0800 |
| commit | 3b9dcff5df97ab642de48bc1ce781961686081aa (patch) | |
| tree | a539a42e510a5edba6fba57b073219b964b1aaff /xdiff | |
| parent | 84521ed6f2ccfd8dfe001806f83bb28e6a8934be (diff) | |
| download | git-3b9dcff5df97ab642de48bc1ce781961686081aa.tar.gz git-3b9dcff5df97ab642de48bc1ce781961686081aa.tar.xz | |
builtin remote rm: remove symbolic refs, too
"git remote add" can add a symbolic ref "HEAD", and "rm" should delete
it, too.
Noticed by Teemu Likonen.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'xdiff')
0 files changed, 0 insertions, 0 deletions