git gc?

[Paolo Bonzini]

I don't know is something's wrong with git gc --auto support, but 
there's definitely a need to run git gc on gnulib's repository.

Paolo