buildd update ssh keys on cimarosa

diff --git a/modules/sudo/files/common/sudoers b/modules/sudo/files/common/sudoers
index 565ec9b5332cae70d7e0f8ddb2fa8aee839ebd54..921e528b40f4bd97e2f967ccab8521809cbb8592 100644 (file)
--- a/modules/sudo/files/common/sudoers
+++ b/modules/sudo/files/common/sudoers
@@ -100,6 +100,7 @@ pkg_user    powell=(archvsync)      NOPASSWD: /home/archvsync/bin/pushpdo
 joerg          unger=(ALL)             /usr/bin/sispmctl -t 1, /usr/bin/sispmctl -g 1
 # wbadm can update all buildd* users' keys on buildd.d.o
 %wbadm         raff=(root)             /usr/local/bin/update-buildd-sshkeys
+%wbadm         cimarosa=(root)         /usr/local/bin/update-buildd-sshkeys
 # mirror push
 dak            ries=(archvsync)        NOPASSWD:/home/archvsync/runmirrors
 planet         senfl=(archvsync)       NOPASSWD: /home/archvsync/bin/runplanet ""