Daniel Farina wrote:
> Follow-up question: does "git repack -a -d" ever get run?
No.
> If you want to be really thorough, consider heeding the mail archived
> at http://gcc.gnu.org/ml/gcc/2007-12/msg00165.html and running a
> extensive repack overnight. It *might* be worth it if it has not been
> done at least once already.
Well, if you want to give it a try and then report back about whether
there were any noticeable effects ...