diff options
author | David Turner <dturner@twopensource.com> | 2016-09-04 19:08:40 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-09-10 01:28:14 +0300 |
commit | a27dcf89b6867577bb714e181dd181cd1a1e6512 (patch) | |
tree | a99616e09117889b4b025f3ac0b1e71785bab47f /refs.h | |
parent | fc6814637d2e756029b45cb5fd952359bfec6f88 (diff) |
refs: make delete_refs() virtual
In the file-based backend, delete_refs has some special optimization
to deal with packed refs. In other backends, we might be able to make
ref deletion faster by putting all deletions into a single
transaction. So we need a special backend function for this.
Signed-off-by: David Turner <dturner@twopensource.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'refs.h')
0 files changed, 0 insertions, 0 deletions