summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIvan Frade <ifrade@google.com>2023-12-05 18:39:19 +0000
committerGerrit Code Review <support@gerrithub.io>2023-12-05 18:39:19 +0000
commitf75e8fb4253fc15c7364853b1e88a960a51b2ce1 (patch)
tree540351a5c43062d75be43c0aa1322cb9a2af6820
parent072f4e52075ed5c8e116e5c4ec0dcc262e28eb4b (diff)
parentb05894436af0ee025a7f4fd28d0e6a59cb95b28e (diff)
downloadjgit-f75e8fb4253fc15c7364853b1e88a960a51b2ce1.tar.gz
jgit-f75e8fb4253fc15c7364853b1e88a960a51b2ce1.zip
Merge "Document option gc.writeCommitGraph"
-rw-r--r--Documentation/config-options.md1
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` | &#x2705; | Grace period after which unreachable objects will be pruned. |
| `gc.prunePackExpire` | `1.hour.ago` | &#x20DE; | Grace period after which packfiles only containing unreachable objects will be pruned. |
| `gc.writeChangedPaths` | `false`| &#x20DE; | Whether bloom filter should be written to commit-graph during a gc operation. |
+| `gc.writeCommitGraph`| `false` | &#x20DE; | If true, then gc will rewrite the commit-graph file when jgit gc is run. |
## __http__ options