[Savannah-hackers-public] periodic git repo gc

[Jim Meyering]

FYI, I've just run /root/infra/git-gc-all-repos, and it reduced the
size of /srv/git from 5.1GiB to 4.0GiB and freed around 100K inodes.