Merge branch 'dt/gc-ignore-old-gc-logs'
authorJunio C Hamano <gitster@pobox.com>
Mon, 27 Feb 2017 21:57:15 +0000 (13:57 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 27 Feb 2017 21:57:15 +0000 (13:57 -0800)
commitc96bc189b52dc6c4211d75d68b7fa7bd6ad0d630
tree10b46aa902e6210862ed6ef586e86cd0d4660729
parentc7e234fc380747b7be979bcebd4eece7601f6bfe
parenta831c06a2b639b0f862297672973bef965c7ffcd
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
Documentation/config.txt