run-deploy.sh improvements: remove the need for a .ssh/config entry for
[arvados-dev.git] / git /
drwxr-xr-x   ..
drwxr-xr-x - hooks