this wasn't actually OCD but a bug fix XD

berkeley-dsep-infra · Dec 13, 2023 · 7bacfc6 · 7bacfc6
1 parent e0a25d0
commit 7bacfc6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/delete-unused-users.py b/scripts/delete-unused-users.py
@@ -151,7 +151,7 @@ def main(args):
             token = os.environ["JUPYTERHUB_API_TOKEN"]
             delete_users_from_hub(args.hub_url, token, args.inactive_since, args.dry_run)
     elif args.credentials:
-        logger.info("Attempting to use credentials file: {args.credentials}")
+        logger.info(f"Attempting to use credentials file: {args.credentials}")
         creds = json.loads(open(args.credentials).read())
         if not creds:
             logger.error(f"The credentials file is empty: {args.credentials}")