diff options
| author | Junio C Hamano <gitster@pobox.com> | 2018-07-18 12:20:32 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-07-18 12:20:32 -0700 |
| commit | 676c7e50b10f1fbb2ce06e46260f15f3a20679f7 (patch) | |
| tree | efc43befda409ef7c1faa60789397c352670aa98 /builtin/commit.c | |
| parent | 36b37afda6487113a981b036431fa97aa3fe2234 (diff) | |
| parent | 709cfe848ad2312f80e6f4f7a27aa5d23992a0e3 (diff) | |
Merge branch 'mb/filter-branch-optim'
"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
Diffstat (limited to 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions