diff options
author | Neeraj Singh <neerajsi@microsoft.com> | 2022-03-10 22:43:23 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-03-10 15:10:22 -0800 |
commit | ba95e96d4c6eed42e30ac3c8b260f4459e3a8575 (patch) | |
tree | d073510d5f2fc389d23f7965839c7f994bab102f /README.md | |
parent | core.fsync: add configuration parsing (diff) | |
download | tgif-ba95e96d4c6eed42e30ac3c8b260f4459e3a8575.tar.xz |
core.fsync: new option to harden the index
This commit introduces the new ability for the user to harden
the index. In the event of a system crash, the index must be
durable for the user to actually find a file that has been added
to the repo and then deleted from the working tree.
We use the presence of the COMMIT_LOCK flag and absence of the
alternate_index_output as a proxy for determining whether we're
updating the persistent index of the repo or some temporary
index. We don't sync these temporary indexes.
Signed-off-by: Neeraj Singh <neerajsi@microsoft.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions