From b05894436af0ee025a7f4fd28d0e6a59cb95b28e Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Mon, 4 Dec 2023 23:03:26 +0100 Subject: [PATCH] Document option gc.writeCommitGraph Change-Id: Ic02d5abce18250b30f2c3f3741892d8cda251001 --- Documentation/config-options.md | 1 + 1 file changed, 1 insertion(+) diff --git a/Documentation/config-options.md b/Documentation/config-options.md index 84c4f5a66..ff223ab4c 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