diff options
| author | Junio C Hamano <gitster@pobox.com> | 2014-06-25 11:49:01 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-06-25 11:49:01 -0700 |
| commit | c4f79d13b93a7ce53c932c3970403d8f10904d30 (patch) | |
| tree | 40c431c389e3716d68955663b544456ead6c88b7 /git-gui/lib/diff.tcl | |
| parent | ada8710e634b4f9f686bd0477bd92b272ec60801 (diff) | |
| parent | e6bea66db6229a0975ebba510a1d2827bf09cb7f (diff) | |
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
Diffstat (limited to 'git-gui/lib/diff.tcl')
0 files changed, 0 insertions, 0 deletions