chiark / gitweb /
infrastructure: Run git gc --auto before mirroring. Closes:#841414.