diff options
| author | Junio C Hamano <junkio@cox.net> | 2006-09-30 15:02:00 -0700 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-09-30 15:20:44 -0700 |
| commit | c0277d15effb9efcaaaa0cd84decf71a327ac07b (patch) | |
| tree | ebac14633dc875be278744d442e8027713b30fa1 /http-push.c | |
| parent | 22a3844ebada55c207e2b85fb68509a7c9e2b5f0 (diff) | |
| download | git-c0277d15effb9efcaaaa0cd84decf71a327ac07b.tar.gz git-c0277d15effb9efcaaaa0cd84decf71a327ac07b.tar.xz | |
delete_ref(): delete packed ref
This implements deletion of a packed ref. Since it is a very
rare event to delete a ref compared to looking up, creating and
updating, this opts to remove the ref from the packed-ref file
instead of doing any of the filesystem based "negative ref" trick
to optimize the deletion path.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'http-push.c')
0 files changed, 0 insertions, 0 deletions