diff options
author | 2013-03-03 13:39:57 -0400 | |
---|---|---|
committer | 2013-03-03 13:44:35 -0400 | |
commit | 5dcd5c82ef47fa121e9800835fc399d5ecdc3af3 (patch) | |
tree | d96d1020173dd3016bbc6b2ae6ed3d36133a4607 /Assistant/Pairing.hs | |
parent | 9bce151df7b073c5f2507ea15ca2237814ae9248 (diff) |
assistant: Prevent automatic commits from causing git-gc runs, as that can make things quite slow. Instead, git-gc --auto is run once a day. (This can be disabled by the usual gc.auto=0 setting.)
Diffstat (limited to 'Assistant/Pairing.hs')
0 files changed, 0 insertions, 0 deletions