arm-arm-03: new host

[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 f5c418e88fff894fb39f6e11dbd454728b06ee8a..10467bc889f1c1c7670277fb304730f9bdac36c5 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
@@ -220,6 +222,7 @@ host_settings:
     - arcadelt.debian.org
     - arm-arm-01.debian.org
     - arm-arm-02.debian.org
+    - arm-arm-03.debian.org
     - arm-linaro-01.debian.org
     - arm-linaro-03.debian.org
     - arnold.debian.org
@@ -259,6 +262,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
@@ -271,6 +275,7 @@ host_settings:
     - antheil.debian.org
     - arm-arm-01.debian.org
     - arm-arm-02.debian.org
+    - arm-arm-03.debian.org
     - arnold.debian.org
     - ball.debian.org
     - corelli.debian.org
@@ -294,6 +299,7 @@ host_settings:
   entropy_key:
     - czerny.debian.org
     # - rautavaara.debian.org
+    - grnet-node01.debian.org
     #- rossini.debian.org
     - storace.debian.org
   buildd_master: