add pizzetti to more places

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index a17952d..2dd73f3 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -204,6 +204,7 @@ host_settings:
     - merulo.debian.org
     - minkus.debian.org
     - partch.debian.org
+    - pizzetti.debian.org
     - plummer.debian.org
     - smetana.debian.org
     - zelenka.debian.org

diff --git a/modules/sudo/files/sudoers b/modules/sudo/files/sudoers
index 78b6029..6d1b2b5 100644 (file)
--- a/modules/sudo/files/sudoers
+++ b/modules/sudo/files/sudoers
@@ -32,7 +32,7 @@ Host_Alias    MEGARAIDHOSTS   = rautavaara, sibelius
 Host_Alias     MEGACTLHOSTS    = nielsen
 Host_Alias     LISTHOSTS       = bendel
 Host_Alias     BUILDD_MASTER   = wuiet
-Host_Alias     PORTERBOXES     = abel, asachi, barriere, eder, falla, fischer, gabrielli, harris, merulo, minkus, partch, plummer, smetana, zelenka
+Host_Alias     PORTERBOXES     = abel, asachi, barriere, eder, falla, fischer, gabrielli, harris, merulo, minkus, partch, plummer, pizzetti, smetana, zelenka
 Host_Alias     PIUPARTS_SLAVE_HOSTS    = piu-slave-bm-a
 Host_Alias     MQ_HOSTS        = rainier, rapoport
 Host_Alias     NOVAHOSTS       = oyens, bm-bl9, bm-bl10, bm-bl11, bm-bl12