add widor.debian.org

[mirror/dsa-puppet.git] / modules / debian-org / misc / local.yaml

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index 978e95a..9757116 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -240,6 +240,7 @@ host_settings:
     - fasch.debian.org
     - field.debian.org
     - finzi.debian.org
+    - franck.debian.org
     - geo1.debian.org
     - geo2.debian.org
     - heininen.debian.org
@@ -260,6 +261,7 @@ host_settings:
     - rautavaara.debian.org
     - reger.debian.org
     - rem.debian.org
+    - ries.debian.org
     - rietz.debian.org
     - rossini.debian.org
     - salieri.debian.org
@@ -268,6 +270,7 @@ host_settings:
     - schein.debian.org
     - schuetz.debian.org
     - sibelius.debian.org
+    - smetana.debian.org
     - spohr.debian.org
     - tchaikovsky.debian.org
     - traetta.debian.org
@@ -400,6 +403,7 @@ host_settings:
     - englund.debian.org
     - rautavaara.debian.org
     - salieri.debian.org
+    - widor.debian.org
 #  reservedaddrs:
 #    ball.debian.org: "0.0.0.0/8 : 127.0.0.0/8 : 169.254.0.0/16 : 172.16.0.0/12 : 192.0.0.0/17 : 192.168.0.0/16 : 224.0.0.0/4 : 240.0.0.0/5 : 248.0.0.0/5"
 ---