The README for the deployment fell behind as we've done some work. We should update it. We may also want to include documentation for how to access the cluster, now that it's a service with Google OAuth. The existing docs also overemphasize the use of the infra script from within the Docker environment that should be reorganized.
The README for the deployment fell behind as we've done some work. We should update it. We may also want to include documentation for how to access the cluster, now that it's a service with Google OAuth. The existing docs also overemphasize the use of the
infra
script from within the Docker environment that should be reorganized.