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 /builtin/remote-ext.c | |
| 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 'builtin/remote-ext.c')
0 files changed, 0 insertions, 0 deletions