setup.sh runs gc on newly created repositories.

diff --git a/setup.sh b/setup.sh
index e18d62c0f95197712c9fe6eeb98e265b288fb523..95aad803ea58989dd6d2b59b5a0a6063a124ac84 100755 (executable)
--- a/setup.sh
+++ b/setup.sh
@@ -43,9 +43,10 @@ function git_remote_init_update() {
     fi
 
     # Merge with remote master if the repository was just created, otherwise
-    # the repository starts empty.
+    # the repository starts empty. Also run gc to compress the new repository.
     if [ $new = yes ]; then
         git merge "$2/master"
+        git gc > /dev/null
     fi
 
     # Go back to the starting directory.