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 /debian | |
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 'debian')
-rw-r--r-- | debian/changelog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index b1e6792..83016f4 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,6 +2,7 @@ dgit (5.10~) unstable; urgency=medium * Merge the experimental branch. * test suite: Drop a couple of useless test log output lines. + * infrastructure: Run git gc --auto before mirroring. Closes:#841414. -- |