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 /commit.c | |
| parent | 8638114e063f60fef678d51ca904da7c4e1ab3c0 (diff) | |
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 'commit.c')
0 files changed, 0 insertions, 0 deletions