This sudo is no longer needed
authorPeter Palfrader <peter@palfrader.org>
Sat, 6 Jan 2018 20:17:51 +0000 (21:17 +0100)
committerPeter Palfrader <peter@palfrader.org>
Sat, 6 Jan 2018 20:17:51 +0000 (21:17 +0100)
modules/sudo/files/sudoers

index f3119b1..10cba57 100644 (file)
@@ -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