chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3471e60) | patch
infrastructure: Run git gc --auto before mirroring. Closes:#841414.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 Jul 2018 16:23:37 +0000 (17:23 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 Jul 2018 16:23:40 +0000 (17:23 +0100)
commitb38d6d36f43ef8ac41a937cacbdb7e3ae5535a5a
tree9ef2c8cd8e56411861cb0a6420e66226e934fc75tree | snapshot
parent3471e600b5d2b3910a46c37dbd0969bbf304a559commit | diff
infrastructure: Run git gc --auto before mirroring.  Closes:#841414.

This would not have avoided the trouble reported here
  https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=841414#74

Empirically, I managed to work around the problem by running `git gc'
(rather than `git gc --auto') and then rsyncing the result to the
mirror.  I will request that DSA increase the RAM (or swap) size on
the relevant host.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
debian/changelog diff | blob | history
infra/dgit-mirror-rsync diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.