summaryrefslogtreecommitdiff
path: root/infra/dgit-mirror-rsync
Commit message (Collapse)AuthorAge
* infrastructure: Run git gc --auto before mirroring. Closes:#841414.Ian Jackson2018-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 -eIan Jackson2017-01-06
| | | | Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* Mirroring: Remove pointless empty .log filesIan Jackson2015-07-11
|
* Mirroring: Honour DGIT_DRS_DEBUG=0Ian Jackson2015-07-11
|
* Mirroring: In backlog processing, tolerate errorsIan Jackson2015-07-11
|
* Mirroring: Avoid breaking out of loop due to execIan Jackson2015-07-11
|
* Mirroring: Sort out stderr plumbingIan Jackson2015-07-11
|
* Mirroring: Tolerate missing .a file when tidying mirrorIan Jackson2015-07-11
|
* Mirroring: dgit-mirror-rsync copes with invocation via relative pathnameIan Jackson2015-07-11
|
* Mirroring: Check number of arguments to dgit-mirror-rsyncIan Jackson2015-07-11
|
* Mirroring: Provide rsync-based mirror hook scriptIan Jackson2015-07-11