summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-09-06 23:34:35 +0200
committerHolger Levsen <holger@layer-acht.org>2015-09-06 23:34:35 +0200
commit40967ef149431c5afead45ad4b2fe25922f5dcb2 (patch)
tree88e87a307bbb374d2e753a679d2715589dac1b9b
parent10f0af8c321510e26851d1d4722d2a7bcc8728a6 (diff)
downloadjenkins.debian.net-40967ef149431c5afead45ad4b2fe25922f5dcb2.tar.xz
afaics ftp.de is not used on the armhf nodes
-rw-r--r--TODO1
1 files changed, 0 insertions, 1 deletions
diff --git a/TODO b/TODO
index 44fa47ec..3928cfaa 100644
--- a/TODO
+++ b/TODO
@@ -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)