From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 25 Jun 2014 18:49:01 +0000 (-0700)
Subject: Merge branch 'jl/remote-rm-prune' into maint
X-Git-Tag: v2.0.1~7
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c4f79d13b93a7ce53c932c3970403d8f10904d30;p=thirdparty%2Fgit.git

Merge branch 'jl/remote-rm-prune' into maint

"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
---

c4f79d13b93a7ce53c932c3970403d8f10904d30