Allow wbadm-ports to update buildds ssh keys

Signed-off-by: Héctor Orón Martínez <zumbi@debian.org>

diff --git a/modules/sudo/files/sudoers b/modules/sudo/files/sudoers
index 6d1b2b55d81c1fd3dd1f115f07ab48ae1a96ce13..d8b63d3729205757fcaeb6b07fec92399ab4f0bc 100644 (file)
--- a/modules/sudo/files/sudoers
+++ b/modules/sudo/files/sudoers
@@ -32,6 +32,7 @@ Host_Alias    MEGARAIDHOSTS   = rautavaara, sibelius
 Host_Alias     MEGACTLHOSTS    = nielsen
 Host_Alias     LISTHOSTS       = bendel
 Host_Alias     BUILDD_MASTER   = wuiet
+Host_Alias     BUILDD_PORTS_MASTER     = portman
 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
@@ -188,6 +189,9 @@ dnsadm              denis=(root)                    NOPASSWD: /usr/sbin/service bind9 reload
 # wbadm can update all buildd* users' keys on buildd.d.o
 %wbadm         BUILDD_MASTER=(wb-buildd)       ALL
 %wbadm         BUILDD_MASTER=(root)            /usr/local/bin/update-buildd-sshkeys
+# wbadm can update all buildd* users' keys on buildd.d.o
+%wbadm-ports   BUILDD_PORTS_MASTER=(wb-buildd) ALL
+%wbadm-ports   BUILDD_PORTS_MASTER=(root)      /usr/local/bin/update-buildd-sshkeys
 # mirror push
 dak            FTPHOSTS,SECHOSTS=(archvsync)   NOPASSWD:/home/archvsync/runmirrors
 dak            franck=(backports)      NOPASSWD: /home/backports/bin/update-archive