diff options
author | Jens Lindström <jl@opera.com> | 2014-05-23 12:29:45 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-05-27 12:30:42 -0700 |
commit | c9e768bb77762765f739fffb5c09d0888f3de20e (patch) | |
tree | ec3e7555084a3d62830bbef801590ce64cada955 /t/t4015-diff-whitespace.sh | |
parent | remote rm: delete remote configuration as the last (diff) | |
download | tgif-c9e768bb77762765f739fffb5c09d0888f3de20e.tar.xz |
remote: repack packed-refs once when deleting multiple refs
When 'git remote rm' or 'git remote prune' were used in a repository
with many refs, and needed to delete many remote-tracking refs, a lot
of time was spent deleting those refs since for each deleted ref,
repack_without_refs() was called to rewrite packed-refs without just
that deleted ref.
To avoid this, call repack_without_refs() first to repack without all
the refs that will be deleted, before calling delete_ref() to delete
each one completely. The call to repack_without_ref() in delete_ref()
then becomes a no-op, since packed-refs already won't contain any of
the deleted refs.
Signed-off-by: Jens Lindström <jl@opera.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t4015-diff-whitespace.sh')
0 files changed, 0 insertions, 0 deletions