diff --git a/src/plumbing/progress.rs b/src/plumbing/progress.rs index 807c49bebcc..005a9b06bec 100644 --- a/src/plumbing/progress.rs +++ b/src/plumbing/progress.rs @@ -214,6 +214,22 @@ static GIT_CONFIG: &[Record] = &[ config: "core.eol", usage: Planned {note: Some("needed for filters, but also for doing diffs correctly")} }, + Record { + config: "core.fsync", + usage: Planned {note: Some("more safety for disk write operations is a good thing, definitely on the server")} + }, + Record { + config: "core.fsyncMethod", + usage: Planned {note: Some("needed to support `core.fsync`")} + }, + Record { + config: "core.sharedRepository", + usage: NotPlanned {reason: "on demand"} + }, + Record { + config: "core.createObject", + usage: NotPlanned {reason: "it's valuable not to do writes unless needed on the lowest level, but we hope to avoid issues by not writing duplicate objects in the first place"} + }, Record { config: "clone.filterSubmodules,", usage: Planned {