Daniel Farina wrote:
> Secondly, 'git gc' has the '--aggressive' option. This used to do
> something really misleading, but I'm pretty sure it's fixed 'now',
> although I couldn't point you to an exact version. This makes life
> easy: just run 'git gc --aggressive' once in a long while. Given the
> current data it seems that the pack should be about 100M
> afterwards.
git gc --aggressive has now been run, and the repository has shrunk
significantly.
Thanks for the investigation.