Merge branch 'jl/remote-rm-prune'
authorJunio C Hamano <gitster@pobox.com>
Mon, 16 Jun 2014 19:17:58 +0000 (12:17 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 16 Jun 2014 19:17:58 +0000 (12:17 -0700)
"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

1  2 
builtin/remote.c
refs.c
refs.h

Simple merge
diff --cc refs.c
Simple merge
diff --cc refs.h
Simple merge