decommission petrova (RT#7978)

[mirror/dsa-puppet.git] / modules / debian_org / files / misc / local.yaml

diff --git a/modules/debian_org/files/misc/local.yaml b/modules/debian_org/files/misc/local.yaml
index 35a1916..cc5795d 100644 (file)
--- a/modules/debian_org/files/misc/local.yaml
+++ b/modules/debian_org/files/misc/local.yaml
@@ -42,7 +42,7 @@ nameinfo:
   hoiby.debian.org: Lee Henry Hoiby (February 17th, 1926 - March 28th, 2011)
   jerea.debian.org: Hilda Jerea (March 17th, 1916 - May 14th, 1980)
   kaufmann.debian.org: Georg Friedrich Kauffmann (February 14th, 1679 - February 27th, 1735)
-  klecker.debian.org: Dedicated to Joel 'Espy' Klecker (1979 - July 11th, 2000)
+  new-klecker.debian.org: Dedicated to Joel 'Espy' Klecker (1979 - July 11th, 2000)
   lindsay.debian.org: Maria Lindsay Bliss (May 15th, 1827 - April 3rd, 1898)
   lotti.debian.org: Antonio Lotti (ca. 1667 - January 5th, 1740)
   mailly.debian.org: Alphonse Jean Ernest Mailly (November 27th, 1833 - January 10th, 1918)
@@ -57,7 +57,6 @@ nameinfo:
   olin.debian.org: Elisabeth Olin (December 1740 - March 26th, 1828)
   paradis.debian.org: Maria Theresia Paradis (May 15th, 1759 - February 1st, 1824)
   pejacevic: Dora Pejačević (September 10th, 1885 - March 5th, 1923)
-  petrova.debian.org: Mara Petrova (May 15th, 1921 - June 7th. 1997)
   pettersson.debian.org: Gustav Allan Pettersson (September 19th, 1911 - June 20th, 1980)
   philp.debian.org: Elizabeth Philp (1827 - November 26th, 1885)
   picconi.debian.org: Maria Antonietta Picconi (September 23rd, 1869 - 1926)
@@ -110,11 +109,6 @@ footer:
   #zandonai.debian.org: "Debian s390 buildd system kindly provided by Zentrum fuer Informationsverarbeitung und Informationstechnik [zivit]"
   #zelenka.debian.org: "Debian s390 porter system kindly provided by Zentrum fuer Informationsverarbeitung und Informationstechnik [zivit]"
 host_settings:
-  mail_port:
-    klecker.debian.org: 2025
-    new-klecker.debian.org: 2025
-    smit.debian.org: 2025
-    zani.debian.org: 587
   entropy_key:
     - manda-node04.debian.org
     - grnet-node01.debian.org