On 01/06/2016 03:50 PM, Bernhard Voelker wrote: [...]
maybe someone could run "git gc" on the server to remove the 21 then- unreferenced commits.
I believe "git gc" runs on all git repositories on savannah on the 4th of every month. - Assaf (for reference, the relevant files are vcs.sv.gnu.org:/etc/cron.d/git-gc-all-repos and vcs.sv.gnu.org:/root/infra/git-gc-all-repos ).