Grant Georg DocTor permissions
Hi lovely sysadmins. Our new network health team (and Georg in particular) are subsuming ownership of DocTor. This service only has a few resources...
- Git repository (https://gitweb.torproject.org/doctor.git/)
- Cron jobs hosted on carinatum
- tor-consensus-health@ email list
Could we please grant him permission to push and sudo as the doctor user?
Thanks!