Add pinel to heavy-exim

[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 416b6e0e7c3d242467e78e1289b6752371361ca2..3842f8a9a3bd43b5c5f559ae02143e8d87e91424 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -68,7 +68,8 @@ nameinfo:
   mailly.debian.org: Alphonse Jean Ernest Mailly (November 27th, 1833 - January 10th, 1918)
   mayer.debian.org: John Mayer (October 28th, 1930 - March 9th, 2004)
   mayr.debian.org: Johann(es) Simon Mayr (June 14th, 1763 - December 2nd, 1845)
-  menotti.debian.org: Gian Carlo Menotti (July 7th, 1911 - February 1st,, 2007)
+  menotti.debian.org: Gian Carlo Menotti (July 7th, 1911 - February 1st, 2007)
+  mekeel.debian.org: Joyce Mekeel (July 6th, 1931 - Dec 29th, 1997)
   merulo.debian.org: Claudio Merulo (April 8th, 1533 - May 4th, 1604)
   milanollo.debian.org: Teresa Milanollo (August 28th, 1827 - October 25th, 1904)
   minkus.debian.org: Ludwig Minkus (March 23rd 1826 - December 7th, 1917)
@@ -83,8 +84,10 @@ nameinfo:
   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)
-  picconi.debian.org: Maria Antonietta Picconi (September 23rd, 1869 - 1926)
   philp.debian.org: Elizabeth Philp (1827 - November 26th, 1885)
+  picconi.debian.org: Maria Antonietta Picconi (September 23rd, 1869 - 1926)
+  pinel.debian.org: Julie Pinel (fl. 1710 - 1737)
+  pittar.debian.org: Fanny Krumpholtz Pittar (1785 - 1815)
   plummer.debian.org: John Plummer (c. 1410 - c. 1483)
   popov.debian.org: Gavriil Nikolayevich Popov (Гаврии́л Никола́евич Попо́в) (September 12th, 1904 - February 17th, 1972)
   porpora.debian.org: Niccolò (Antonio) Porpora (17 August 1686 - 3 March 1768)
@@ -151,6 +154,7 @@ host_settings:
     - master.debian.org
     - nono.debian.org
     - picconi.debian.org
+    - pinel.debian.org
     - popov.debian.org
     - quantz.debian.org
     - reger.debian.org
@@ -215,7 +219,6 @@ host_settings:
     - arm-linaro-03.debian.org
     - arnold.debian.org
     - babin.debian.org
-    - ball.debian.org
     - brahms.debian.org
     - caballero.debian.org
     - corelli.debian.org
@@ -255,8 +258,6 @@ host_settings:
     - zani.debian.org
     - zemlinsky.debian.org
     # Not worth backing up
-    - rainier.debian.org
-    - rapoport.debian.org
     - x86-bm-01.debian.org
   broken-rtc:
     - abel.debian.org
@@ -265,7 +266,6 @@ host_settings:
     - arm-arm-02.debian.org
     - arm-arm-03.debian.org
     - arnold.debian.org
-    - ball.debian.org
     - corelli.debian.org
     - gabrielli.debian.org
     - harris.debian.org