Closed minrk closed 1 year ago
This failed to deploy on staging:
I haven't checked whether it's a BinderHub problem, or a mybinder config problem.
It should be total_quota
since LaunchQuota
is platform agnostic
https://github.com/jupyterhub/binderhub/blob/0c3d8b23d396f1d0d276605356c8c329b2cc1376/binderhub/quota.py#L43-L54
not deprecated pod_quota
otherwise, health check reports the wrong value unless the deprecated value is specified