Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | infrastructure: Run git gc --auto before mirroring. Closes:#841414. | Ian Jackson | 2018-07-14 |
| | | | | | | | | | | | | 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> | ||
* | Shell bug: avoid local=$(....) as it defeats set -e | Ian Jackson | 2017-01-06 |
| | | | | Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk> | ||
* | Mirroring: Remove pointless empty .log files | Ian Jackson | 2015-07-11 |
| | |||
* | Mirroring: Honour DGIT_DRS_DEBUG=0 | Ian Jackson | 2015-07-11 |
| | |||
* | Mirroring: In backlog processing, tolerate errors | Ian Jackson | 2015-07-11 |
| | |||
* | Mirroring: Avoid breaking out of loop due to exec | Ian Jackson | 2015-07-11 |
| | |||
* | Mirroring: Sort out stderr plumbing | Ian Jackson | 2015-07-11 |
| | |||
* | Mirroring: Tolerate missing .a file when tidying mirror | Ian Jackson | 2015-07-11 |
| | |||
* | Mirroring: dgit-mirror-rsync copes with invocation via relative pathname | Ian Jackson | 2015-07-11 |
| | |||
* | Mirroring: Check number of arguments to dgit-mirror-rsync | Ian Jackson | 2015-07-11 |
| | |||
* | Mirroring: Provide rsync-based mirror hook script | Ian Jackson | 2015-07-11 |