Git mirror needs a run of "git gc"

[Florian Weimer]

Right now, each fresh clone needs to create a compressed pack, which
takes quite a while.  (I think, there might be something else wrong
with the repository.)