Closed
Milestone Nov 2, 2020–Nov 6, 2020

Deployment Polish

Feedback from Tom recommended that we polish the deployment/Docker setup.