diff options
| author |  Alban Gruin <alban.gruin@gmail.com> | 2019-11-24 18:43:29 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2019-11-25 12:24:48 +0900 |
| commit | 34065541e3f99ce23ac431032daf9d72072e650b (patch) | |
| tree | 479bcca551cfa38446af8df44e21b5a559cc9b11 /t/chainlint | |
| parent | sequencer: update `total_nr' when adding an item to a todo list (diff) | |
| download | tgif-34065541e3f99ce23ac431032daf9d72072e650b.tar.xz | |
sequencer: update `done_nr' when skipping commands in a todo list
In a todo list, `done_nr' is the number of commands that were executed
or skipped, but skip_unnecessary_picks() did not update it.
This variable is mostly used by command prompts (ie. git-prompt.sh and
the like). As in the previous commit, this inconsistent behaviour is
not a problem yet, but it would start to matter at the end of this
series the same reason.
Signed-off-by: Alban Gruin <alban.gruin@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/chainlint')
0 files changed, 0 insertions, 0 deletions