diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2017-07-14 17:45:25 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-07-28 01:35:05 +0300 |
| commit | cdac2b01ff77d32305610aeb26396e25bffa9dba (patch) | |
| tree | 60a0a154b2155f1b608714de2e314dc03127b39c /sequencer.h | |
| parent | 943999493fd4084d00bd5b5decc85b68eb64785f (diff) | |
rebase -i: skip unnecessary picks using the rebase--helper
In particular on Windows, where shell scripts are even more expensive
than on MacOSX or Linux, it makes sense to move a loop that forks
Git at least once for every line in the todo list into a builtin.
Note: The original code did not try to skip unnecessary picks of root
commits but punts instead (probably --root was not considered common
enough of a use case to bother optimizing). We do the same, for now.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'sequencer.h')
| -rw-r--r-- | sequencer.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sequencer.h b/sequencer.h index 878dd296f8..04a57e09a1 100644 --- a/sequencer.h +++ b/sequencer.h @@ -50,6 +50,7 @@ int sequencer_make_script(int keep_empty, FILE *out, int transform_todo_ids(int shorten_ids); int check_todo_list(void); +int skip_unnecessary_picks(void); extern const char sign_off_header[]; |