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)
commit2e5adec97a65ce8c2c803b9e1cbb1c0d067e7e47
treeeacdbdd6d3972bef4437457c7cebafac0c4d4c68
parent4672123fe5cb629d2a261245fd0a2e003ef35ea3
parent348d4f2fc5d3c4f7ba47079b96676b4e2dd831fc
Merge branch 'jk/filter-branch-no-index'

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
git-filter-branch.sh