Decommission agnesi (RT#3697)

[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 704fdfc..d914410 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -1,7 +1,6 @@
 ---
 nameinfo:
   abel.debian.org: Carl Friedrich Abel (1723 - 1787)
-  agnesi.debian.org: Maria Teresa Agnesi (October 17th, 1720 - January 19th, 1795)
   agricola.debian.org: Alexander Agricola (1445 or 1446 - August 15th, 1506)
   alain.debian.org: Jehan Alain (1911 - 1940)
   albeniz.debian.org: Isaac Manuel Francisco Albéniz i Pascual (May 29th, 1860 - May 18th, 1909)
@@ -156,7 +155,6 @@ services:
     - merikanto.debian.org
   muninmaster:
     - spohr.debian.org
-    - rossini.debian.org
   nagiosmaster: tchaikovsky.debian.org
   extranrpeclient:
     - orff.debian.org
@@ -173,6 +171,7 @@ host_settings:
     - chopin.debian.org
     - draghi.debian.org
     - franck.debian.org
+    - gombert.debian.org
     - grieg.debian.org
     - kokkonen.debian.org
     - master.debian.org
@@ -224,9 +223,17 @@ host_settings:
     - arne.debian.org
     - arnold.debian.org
     - ball.debian.org
+    - harris.debian.org
+    - hartmann.debian.org
+    - hasse.debian.org
+    - hebden.debian.org
+    - henze.debian.org
+    - hildegard.debian.org
+    - hoiby.debian.org
+    - howells.debian.org
+    - hummel.debian.org
     - lucatelli.debian.org
     - rem.debian.org
-    - sompek.debian.org
   buildd:
     - alain.debian.org
     - alkman.debian.org
@@ -405,7 +412,6 @@ host_settings:
   #  - zelenka.debian.org
   smarthost:
     abel.debian.org: mailout.debian.org
-    agnesi.debian.org: mailout.debian.org
     agricola.debian.org: mailout.debian.org
     alain.debian.org: mailout.debian.org
     albeniz.debian.org: mailout.debian.org
@@ -453,7 +459,6 @@ host_settings:
     gluck.debian.org: mailout.debian.org
     goedel.debian.org: mailout.debian.org
     goetz.debian.org: mailout.debian.org
-    gombert.debian.org: mailout.debian.org
     handel.debian.org: mailout.debian.org
     harris.debian.org: mailout.debian.org
     hartmann.debian.org: mailout.debian.org
@@ -549,7 +554,6 @@ host_settings:
     piatti.debian.org: 2025
     zappa.debian.org: 587
   no_munin:
-    - agnesi.debian.org
     - allegri.debian.org
     - escher.debian.org
     - fano.debian.org