whoa: server-side repo size just shrank by 20x

[Jim Meyering]

I noticed that gnulib.git was consuming nearly 700MB, so did this:

    $ du -sh .; git gc; du -sh .
    692M    .
    Counting objects: 78817, done.
    Delta compression using up to 4 threads.
    Compressing objects: 100% (19078/19078), done.
    Writing objects: 100% (78817/78817), done.
    Total 78817 (delta 63009), reused 74442 (delta 59695)
    Removing duplicate objects: 100% (256/256), done.
    35M     .

That should help.

I'm a little surprised my doing something like this manually
makes a difference.  I thought it was supposed to happen automatically,
but haven't looked at that part of git in a long time.
Maybe a config setting?

The server is currently running git-1.6.3.3