X-Git-Url: https://git.adam-barratt.org.uk/?a=blobdiff_plain;ds=sidebyside;f=modules%2Fdebian-org%2Fmisc%2Flocal.yaml;h=3842f8a9a3bd43b5c5f559ae02143e8d87e91424;hb=7e54ce88ceaaef85e3a335c78305f1aaef7e2b9f;hp=db6efb8db6a4462c22ce3514dae232a3cd9c5b06;hpb=bc3b0fa69b9dfe16d9b9f375b019474ef86fb95f;p=mirror%2Fdsa-puppet.git

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index db6efb8db..3842f8a9a 100644
--- 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)
@@ -153,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
@@ -217,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
@@ -257,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
@@ -267,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