Update update-users.py

rseng · May 28, 2023 · d77aad7 · d77aad7
1 parent edb9c5c
commit d77aad7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/scripts/update-users.py b/scripts/update-users.py
@@ -85,7 +85,8 @@ def get_org_users(orgs):
             continue
         res = requests.get(f"https://api.github.com/orgs/{org}/members")
         if res.status_code != 200:
-            sys.exit(f"{res.status_code}: {res.reason}")
+            print(f"{org} {res.status_code}: {res.reason}")
+            continue
         users += [x["login"] for x in res.json()]
     return users