diff options
author | Michael Barabanov <michael.barabanov@gmail.com> | 2018-06-25 21:07:33 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-06-26 15:44:53 -0700 |
commit | 709cfe848ad2312f80e6f4f7a27aa5d23992a0e3 (patch) | |
tree | cf3aea0991e10ca1bc2fd058b2b49a98e454056c /Documentation/git-remote-ext.txt | |
parent | Git 2.17.1 (diff) | |
download | tgif-709cfe848ad2312f80e6f4f7a27aa5d23992a0e3.tar.xz |
filter-branch: skip commits present on --state-branch
The commits in state:filter.map have already been processed, so don't
filter them again. This makes incremental git filter-branch much faster.
Also add tests for --state-branch option.
Signed-off-by: Michael Barabanov <michael.barabanov@gmail.com>
Acked-by: Ian Campbell <ijc@hellion.org.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-remote-ext.txt')
0 files changed, 0 insertions, 0 deletions