diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2017-02-27 13:57:15 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-02-27 13:57:15 -0800 |
| commit | c96bc189b52dc6c4211d75d68b7fa7bd6ad0d630 (patch) | |
| tree | 10b46aa902e6210862ed6ef586e86cd0d4660729 /userdiff.c | |
| parent | Merge branch 'jh/preload-index-skip-skip' (diff) | |
| parent | gc: ignore old gc.log files (diff) | |
| download | tgif-c96bc189b52dc6c4211d75d68b7fa7bd6ad0d630.tar.xz | |
Merge branch 'dt/gc-ignore-old-gc-logs'
A "gc.log" file left by a backgrounded "gc --auto" disables further
automatic gc; it has been taught to run at least once a day (by
default) by ignoring a stale "gc.log" file that is too old.
* dt/gc-ignore-old-gc-logs:
gc: ignore old gc.log files
Diffstat (limited to 'userdiff.c')
0 files changed, 0 insertions, 0 deletions