diff options
author | Karl Hasselström <kha@treskal.com> | 2008-06-03 01:34:53 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-06-02 22:52:39 -0700 |
commit | 3fe8dce6fc5b1d0bffba8fdb4e075fcd16cf5619 (patch) | |
tree | 0df179167dd685e7d96aa46d28cdffd312e2ea6c /patch-ids.h | |
parent | Clean up builtin-update-ref's option parsing (diff) | |
download | tgif-3fe8dce6fc5b1d0bffba8fdb4e075fcd16cf5619.tar.xz |
Make old sha1 optional with git update-ref -d
Giving the old sha1 is already optional when changing a ref, and it's
quite handy when running update-ref manually. So make it optional for
deleting a ref too.
Signed-off-by: Karl Hasselström <kha@treskal.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'patch-ids.h')
0 files changed, 0 insertions, 0 deletions