Re-enable Named Servers
Today, we encountered a small down-time of RWTHjupyter. The service was down for approx 30min due to the following bug in JupyterHub:
https://github.com/jupyterhub/jupyterhub/issues/3144
As a work-around we had to disable "Named Servers" and manually remove the bogus server from the Postgres database before the hub could start again.
Relevant config option: https://git-ce.rwth-aachen.de/jupyter/provisioning/-/blob/master/ansible/roles/kubernetes/deployments/jupyterhub/templates/values.yaml.j2#L45