[snapshot/master] add-new-dumps-to-git: Add --auto to git gc call

[Peter Palfrader <peter@palfrader.org>]

---
 misc/dump-tools/add-new-dumps-to-git |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/misc/dump-tools/add-new-dumps-to-git b/misc/dump-tools/add-new-dumps-to-git
index 5a3b6b8..50bf35d 100755
--- a/misc/dump-tools/add-new-dumps-to-git
+++ b/misc/dump-tools/add-new-dumps-to-git
@@ -172,8 +172,9 @@ try:
     db.close()
 
     os.chdir(options.backing_git)
-    if options.verbose: print "# git gc"; sys.stdout.flush()
-    subprocess.check_call(['git', 'gc'] + optional_quiet)
+    if options.verbose: print "# git gc --auto"; sys.stdout.flush()
+    subprocess.check_call(['git', 'gc', '--auto'] + optional_quiet)
+
 finally:
     if not tmpdir is None:
         shutil.rmtree(tmpdir)
-- 
1.7.2.5