diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-08-04 14:01:22 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-08-04 14:01:22 +0200 |
commit | 005ed7eeea40a04ef7c8fccd2e51c0fe69bbaed8 (patch) | |
tree | 3765fceebd4a44f0f071011046160cae3ffba846 /TODO | |
parent | d4134b4ffcabcc9e3c16c8656e9838dc3c136403 (diff) | |
download | jenkins.debian.net-005ed7eeea40a04ef7c8fccd2e51c0fe69bbaed8.tar.xz |
reproducible: define mirror+proxy depending on the hostname
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -306,11 +306,8 @@ properties: ==== reproducible Debian armhf -* use ftp.us.d.o on these machines -* use http://10.0.0.15:8000/ as proxy * next: fix dpkg '1.18.1.0~reproducible5' to not ftbfs * next: run pbuilder create jobs via remote job scheduling -* then: repo overview with binary packages * then: armhf scheduling (only for testing for now, introduce "arch-factor", eg. amd64=10 and armhf=3, to schedule less on some archs) * then: armhf building - run the job on jenkins.d.n and build1 on one host and build2 on another and then run debbindiff on jenkins.d.n… * then: run maintenance job via remote job scheduling |