diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-09-06 23:34:35 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-09-06 23:34:35 +0200 |
commit | 40967ef149431c5afead45ad4b2fe25922f5dcb2 (patch) | |
tree | 88e87a307bbb374d2e753a679d2715589dac1b9b /TODO | |
parent | 10f0af8c321510e26851d1d4722d2a7bcc8728a6 (diff) | |
download | jenkins.debian.net-40967ef149431c5afead45ad4b2fe25922f5dcb2.tar.xz |
afaics ftp.de is not used on the armhf nodes
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -247,7 +247,6 @@ properties: ==== reproducible Debian armhf -* vagrant: it appears that /etc/pbuilderrc and /etc/pbuilder/buildd-config.sh both still contain ftp.de.debian.org mirrors for some things. appears to only be using them to download .dsc and related files, but that ends up being a little suboptimal * monitor their temperatures via munin * make systems send mail * change date on 2nd build hosts (and disable systemd-timesyncd) |