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!