diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2017-07-14 16:45:25 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-07-27 15:35:05 -0700 |
commit | cdac2b01ff77d32305610aeb26396e25bffa9dba (patch) | |
tree | 60a0a154b2155f1b608714de2e314dc03127b39c /gitk-git/po/vi.po | |
parent | rebase -i: check for missing commits in the rebase--helper (diff) | |
download | tgif-cdac2b01ff77d32305610aeb26396e25bffa9dba.tar.xz |
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 'gitk-git/po/vi.po')
0 files changed, 0 insertions, 0 deletions