[Savannah-hackers-public] git repositories gc'd

[Jim Meyering]

FYI, I gc'd all git repositories on savannah, which reduced
their total disk usage by 24% from 6.7 GiB to 5.1 GiB.