summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2018-07-14 17:23:37 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2018-07-14 17:23:40 +0100
commitb38d6d36f43ef8ac41a937cacbdb7e3ae5535a5a (patch)
tree9ef2c8cd8e56411861cb0a6420e66226e934fc75 /debian
parent3471e600b5d2b3910a46c37dbd0969bbf304a559 (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/changelog1
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.
--