Add plummer

[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 6248102e186c143990eab56ac6d12f19c55394bf..7db16a28f5d389a4d09261725ac602b780b25be5 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -91,6 +91,7 @@ nameinfo:
   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)
+  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)
   portman.debian.org: Rachel Portman (11 December 1960 - )
@@ -212,6 +213,7 @@ host_settings:
     - merulo.debian.org
     - minkus.debian.org
     - partch.debian.org
+    - plummer.debian.org
     - smetana.debian.org
     - zelenka.debian.org
     # buildd
@@ -259,6 +261,7 @@ host_settings:
     - sompek.debian.org
     - spontini.debian.org
     - stadler.debian.org
+    - x86-grnet-01.debian.org
     - zandonai.debian.org
     - zani.debian.org
     - zemlinsky.debian.org