diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-14 17:23:37 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-14 17:23:40 +0100 |
| commit | b38d6d36f43ef8ac41a937cacbdb7e3ae5535a5a (patch) | |
| tree | 9ef2c8cd8e56411861cb0a6420e66226e934fc75 /dgit-badcommit-fixup | |
| parent | 3471e600b5d2b3910a46c37dbd0969bbf304a559 (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>
Diffstat (limited to 'dgit-badcommit-fixup')
0 files changed, 0 insertions, 0 deletions