Add pinel

[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 3cb506c5acdb58505382c8bcb518194629115b33..b291ca5230c66571b9562c43f4dd215201252a24 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -84,9 +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)
+  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)
-  philp.debian.org: Elizabeth Philp (1827 - November 26th, 1885)
   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)
@@ -217,7 +218,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
@@ -265,7 +265,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