diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-03-21 19:30:10 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-03-21 19:30:10 +0100 |
commit | beb2cdf5041104a7513301a9b20944a617eec94e (patch) | |
tree | 6f44e7c048bc9857025235064b956a5d1d53ee25 /git-rebase--interactive.sh | |
parent | Merge branch 'ma/config-page-only-in-list-mode' (diff) | |
parent | write_locked_index(): add flag to avoid writing unchanged index (diff) | |
download | git-beb2cdf5041104a7513301a9b20944a617eec94e.tar.xz git-beb2cdf5041104a7513301a9b20944a617eec94e.zip |
Merge branch 'ma/skip-writing-unchanged-index'
Internal API clean-up to allow write_locked_index() optionally skip
writing the in-core index when it is not modified.
* ma/skip-writing-unchanged-index:
write_locked_index(): add flag to avoid writing unchanged index
Diffstat (limited to 'git-rebase--interactive.sh')
0 files changed, 0 insertions, 0 deletions