Add seger

[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 4c5edcc9eb4661d73f48eb1da40949b6d5a0383a..e085bca3be251ea7d24ba32425a0886f081c96eb 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -87,6 +87,7 @@ nameinfo:
   pieta.debian.org: Michielina della Pietà (fl. ca. 1700 - 1744)
   pinel.debian.org: Julie Pinel (fl. 1710 - 1737)
   pittar.debian.org: Fanny Krumpholtz Pittar (1785 - 1815)
+  pizzetti.debian.org: Ildebrando Pizzetti (20 September 1880 - 13 February 1968)
   plummer.debian.org: John Plummer (c. 1410 - c. 1483)
   porpora.debian.org: Niccolò (Antonio) Porpora (17 August 1686 - 3 March 1768)
   portman.debian.org: Rachel Portman (11 December 1960 - )
@@ -107,6 +108,7 @@ nameinfo:
   schroeder.debian.org: Hermann Schroeder (March 26th, 1904 - October 7th, 1984)
   schumann.debian.org: Robert Alexander Schumann (June 8th, 1810 - July 29th, 1856)
   sechter.debian.org: Simon Sechter (October 11th, 1788 - September 10th, 1867)
+  seger.debian.org: Josef Seger (March 21st, 1716 - April 22nd, 1782)
   senfl.debian.org: Ludwig Senfl (~1490 - ~1543)
   senfter.debian.org: Johanna Senfter (November, 27th, 1879 - August 11th, 1961)
   setoguchi.debian.org: 瀬戸口藤吉, Tokichi Setoguchi (June 28th, 1868 - November 8th, 1941)
@@ -203,6 +205,7 @@ host_settings:
     - merulo.debian.org
     - minkus.debian.org
     - partch.debian.org
+    - pizzetti.debian.org
     - plummer.debian.org
     - smetana.debian.org
     - zelenka.debian.org
@@ -261,6 +264,8 @@ host_settings:
     - zemlinsky.debian.org
     # Not worth backing up
     - x86-bm-01.debian.org
+    - x86-csail-01.debian.org
+    - x86-csail-02.debian.org
   broken-rtc:
     - abel.debian.org
     - antheil.debian.org