From 6b42240684e7181c0c837256c18568e8a91ef0d2 Mon Sep 17 00:00:00 2001 From: shane knapp Date: Fri, 29 Sep 2023 19:53:05 -0700 Subject: [PATCH] give attribution --- scripts/delete-unused-users.py | 3 +++ 1 file changed, 3 insertions(+) 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