]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'jk/filter-branch-no-index'
authorJunio C Hamano <gitster@pobox.com>
Fri, 4 Dec 2015 19:19:10 +0000 (11:19 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 4 Dec 2015 19:19:10 +0000 (11:19 -0800)
Speed up filter-branch for cases where we only care about rewriting
commits, not tree data.

* jk/filter-branch-no-index:
  filter-branch: skip index read/write when possible

1  2 
git-filter-branch.sh

Simple merge