This sudo is no longer needed

diff --git a/modules/sudo/files/sudoers b/modules/sudo/files/sudoers
index f3119b1..10cba57 100644 (file)
--- a/modules/sudo/files/sudoers
+++ b/modules/sudo/files/sudoers
@@ -236,7 +236,6 @@ piupartss   PIUPARTS_SLAVE_HOSTS=(ALL)              NOPASSWD: ALL
 # trigger of mirror run for packages
 dnsadm         denis=(root)                    NOPASSWD: /usr/sbin/service bind9 reload
 letsencrypt    denis=(dnsadm)                  NOPASSWD: /srv/dns.debian.org/bin/update
-%adm           draghi=(puppet)                 NOPASSWD: /usr/bin/make -s -C /srv/db.debian.org/var/gitnagios/dsa-nagios/config install
 # 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