From 567d0bbfe8e814dac1d6b1c117d726cb68124ca3 Mon Sep 17 00:00:00 2001 From: Ikechukwu Uchendu Date: Thu, 5 Oct 2023 21:11:33 +0000 Subject: [PATCH] added jveejay to excluded contributors --- .github/workflows/contributors/update_contributors.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/contributors/update_contributors.py b/.github/workflows/contributors/update_contributors.py index 5333b9acd..f3d3fbc3b 100644 --- a/.github/workflows/contributors/update_contributors.py +++ b/.github/workflows/contributors/update_contributors.py @@ -6,7 +6,7 @@ CONTRIBUTORS_FILE = '.all-contributorsrc' -EXCLUDED_USERS = {'web-flow', 'github-actions[bot]', 'mrdragonbear'} +EXCLUDED_USERS = {'web-flow', 'github-actions[bot]', 'mrdragonbear', 'jveejay'} OWNER = "harvard-edge" REPO = "cs249r_book" @@ -68,7 +68,7 @@ def main(_): existing_contributor_logins.append(existing_contributor['login']) existing_contributor_logins_set = set(existing_contributor_logins) print('Existing contributors: ', existing_contributor_logins_set) - + existing_contributor_logins_set -= EXCLUDED_USERS # All contributors in the file should be in the API assert existing_contributor_logins_set.issubset( users_from_api), 'All contributors in the .all-contributorsrc file should be pulled using the API'