Merge branch 'mb/filter-branch-optim'
authorJunio C Hamano <gitster@pobox.com>
Wed, 18 Jul 2018 19:20:32 +0000 (12:20 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 18 Jul 2018 19:20:32 +0000 (12:20 -0700)
"git filter-branch" when used with the "--state-branch" option
still attempted to rewrite the commits whose filtered result is
known from the previous attempt (which is recorded on the state
branch); the command has been corrected not to waste cycles doing
so.

* mb/filter-branch-optim:
  filter-branch: skip commits present on --state-branch

1  2 
git-filter-branch.sh
t/t7003-filter-branch.sh

Simple merge
Simple merge