diff options
author | Ivan Frade <ifrade@google.com> | 2023-12-05 18:39:19 +0000 |
---|---|---|
committer | Gerrit Code Review <support@gerrithub.io> | 2023-12-05 18:39:19 +0000 |
commit | f75e8fb4253fc15c7364853b1e88a960a51b2ce1 (patch) | |
tree | 540351a5c43062d75be43c0aa1322cb9a2af6820 | |
parent | 072f4e52075ed5c8e116e5c4ec0dcc262e28eb4b (diff) | |
parent | b05894436af0ee025a7f4fd28d0e6a59cb95b28e (diff) | |
download | jgit-f75e8fb4253fc15c7364853b1e88a960a51b2ce1.tar.gz jgit-f75e8fb4253fc15c7364853b1e88a960a51b2ce1.zip |
Merge "Document option gc.writeCommitGraph"
-rw-r--r-- | Documentation/config-options.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/config-options.md b/Documentation/config-options.md index 84c4f5a664..ff223ab4cc 100644 --- a/Documentation/config-options.md +++ b/Documentation/config-options.md @@ -77,6 +77,7 @@ For details on native git options see also the official [git config documentatio | `gc.pruneExpire` | `2.weeks.ago` | ✅ | Grace period after which unreachable objects will be pruned. | | `gc.prunePackExpire` | `1.hour.ago` | ⃞ | Grace period after which packfiles only containing unreachable objects will be pruned. | | `gc.writeChangedPaths` | `false`| ⃞ | Whether bloom filter should be written to commit-graph during a gc operation. | +| `gc.writeCommitGraph`| `false` | ⃞ | If true, then gc will rewrite the commit-graph file when jgit gc is run. | ## __http__ options |