diff --git a/scripts/delete-unused-users.py b/scripts/delete-unused-users.py index 46ff75a33..bbfe1214f 100755 --- a/scripts/delete-unused-users.py +++ b/scripts/delete-unused-users.py @@ -10,6 +10,9 @@ make sure they aren't active right now. This will require users to log in again the next time they use the hub, but that's probably ok. + +Core functionality from @minrk: +https://discourse.jupyter.org/t/is-there-a-way-to-bulk-delete-old-users/20866/3 """ import argparse import asyncio