infra: Fix the gerrit project name and preserve env for sudo 81/20781/1
[releng.git] / jjb / doctor /
drwxr-xr-x   ..
-rw-r--r-- 4122 doctor.yml