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](https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-consensus-health) Could we please grant him permission to push and sudo as the doctor user? Thanks!