| commit | c4f79d13b93a7ce53c932c3970403d8f10904d30 | |
| author | Junio C Hamano <gitster@pobox.com> | |
| Wed, 25 Jun 2014 18:49:01 +0000 (25 11:49 -0700) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Wed, 25 Jun 2014 18:49:01 +0000 (25 11:49 -0700) | ||
| tree | 40c431c389e3716d68955663b544456ead6c88b7 | treesnapshot (tar.gz zip) |
| parent | ada8710e634b4f9f686bd0477bd92b272ec60801 | commitdiff |
| parent | e6bea66db6229a0975ebba510a1d2827bf09cb7f | commitdiff |
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
"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