summaryrefslogtreecommitdiffstats
path: root/Documentation
diff options
context:
space:
mode:
authorMatthias Sohn <matthias.sohn@sap.com>2023-12-04 23:03:26 +0100
committerMatthias Sohn <matthias.sohn@sap.com>2023-12-04 23:12:46 +0100
commitb05894436af0ee025a7f4fd28d0e6a59cb95b28e (patch)
tree64795c4bd9ba439e68a45838dad1bf9c35598624 /Documentation
parent6cdd04aa46eac53b2ca4847e836efec5448bdd33 (diff)
downloadjgit-b05894436af0ee025a7f4fd28d0e6a59cb95b28e.tar.gz
jgit-b05894436af0ee025a7f4fd28d0e6a59cb95b28e.zip
Document option gc.writeCommitGraph
Change-Id: Ic02d5abce18250b30f2c3f3741892d8cda251001
Diffstat (limited to 'Documentation')
-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