Administering our production environment

To deploy, see here

To reboot a server, from the Google Cloud project console, navigate to the pod (not deployment) that is having problems, and delete the pod (not the deployment)