diff options
Diffstat (limited to 'src/util/git-gc-repo.pl')
-rwxr-xr-x | src/util/git-gc-repo.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/util/git-gc-repo.pl b/src/util/git-gc-repo.pl index 21bb03f..b02d5a4 100755 --- a/src/util/git-gc-repo.pl +++ b/src/util/git-gc-repo.pl @@ -42,7 +42,9 @@ if (! defined $oldreposize) { $oldreposize = 0; } -my $maxreposize = 10 * $oldreposize; +# Collect garbage once the repository has grown by more than a factor +# of two +my $maxreposize = 2 * $oldreposize; if ($reposize > $maxreposize) { print "Formaline: Optimising git repository (slow only the first time)...\n"; |