mirror of
https://github.com/jupyterhub/jupyterhub.git
synced 2025-10-12 12:33:02 +00:00

- Instead of creating many options for different timeouts of users and servers, just add a note that the whole culler can be run multiple times with different options. See discussion in #1834. - Closes: #1834