diff options
| author | Junio C Hamano <gitster@pobox.com> | 2017-01-11 02:24:25 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-01-11 02:24:25 +0300 |
| commit | 979b82f19f3c44d34779c46c636aade514a711a9 (patch) | |
| tree | 2c2114cd025534e0af030be907cdb129e3269623 /Documentation/config.txt | |
| parent | 5f52e70879d70b211de5d6132ed96cecaa8eaf89 (diff) | |
| parent | f1350d0c125a1e6a73e3b6461fa90c77843c5f74 (diff) | |
Merge branch 'mm/gc-safety-doc'
Doc update.
* mm/gc-safety-doc:
git-gc.txt: expand discussion of races with other processes
Diffstat (limited to 'Documentation/config.txt')
| -rw-r--r-- | Documentation/config.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index 801de7933b..4a991f3582 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -1409,7 +1409,9 @@ gc.pruneExpire:: Override the grace period with this config variable. The value "now" may be used to disable this grace period and always prune unreachable objects immediately, or "never" may be used to - suppress pruning. + suppress pruning. This feature helps prevent corruption when + 'git gc' runs concurrently with another process writing to the + repository; see the "NOTES" section of linkgit:git-gc[1]. gc.worktreePruneExpire:: When 'git gc' is run, it calls |