Merge branch 'jl/remote-rm-prune'
commit474df928b11975d8c0ef532a3b61e1b86143406a
authorJunio C Hamano <gitster@pobox.com>
Mon, 16 Jun 2014 19:17:58 +0000 (16 12:17 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 16 Jun 2014 19:17:58 +0000 (16 12:17 -0700)
tree652270184cc88e172a2748bf364bf984ca59ebbc
parent5cf2c571d08f38b90887d41d5c03376714f0b00d
parente6bea66db6229a0975ebba510a1d2827bf09cb7f
Merge branch 'jl/remote-rm-prune'

"git remote rm" and "git remote prune" can involve removing many
refs at once, which is not a very efficient thing to do when very
many refs exist in the packed-refs file.

* jl/remote-rm-prune:
  remote prune: optimize "dangling symref" check/warning
  remote: repack packed-refs once when deleting multiple refs
  remote rm: delete remote configuration as the last
builtin/remote.c
refs.c
refs.h