diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2017-07-14 16:45:21 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-07-27 15:35:05 -0700 |
| commit | 943999493fd4084d00bd5b5decc85b68eb64785f (patch) | |
| tree | 20b613c01d4b531a8a5a88e122d84206e1da975a /git-gui | |
| parent | 47d4ac019bbd176730e538b68bae51f65eead4b3 (diff) | |
| download | git-943999493fd4084d00bd5b5decc85b68eb64785f.tar.gz git-943999493fd4084d00bd5b5decc85b68eb64785f.tar.xz | |
rebase -i: check for missing commits in 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.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions