From 9985961c79f8727cfbacff8e2239fae4cd6d6b6c Mon Sep 17 00:00:00 2001 From: Juzlus Date: Wed, 10 Jun 2026 14:10:53 +0200 Subject: [PATCH] Update update_thanks.py --- .github/update_thanks.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/update_thanks.py b/.github/update_thanks.py index f54c2ba..434ed95 100644 --- a/.github/update_thanks.py +++ b/.github/update_thanks.py @@ -150,8 +150,8 @@ def get_discord_users(user_ids): def process_file(filename, github_elements, discord_elements, is_pl): - input_path = f"./{filename}" - output_path = f"../{filename}" + input_path = f"./.github/{filename}" + output_path = f"./{filename}" if not os.path.exists(input_path): print(f"Error: File {input_path} does not exist") @@ -204,6 +204,9 @@ def process_file(filename, github_elements, discord_elements, is_pl): def main(): + print(f"DISCORD_USER_IDS loaded: {len(DISCORD_USER_IDS)} user(s)") + print(f"EXTRA_USERS_GITHUB loaded: {len(EXTRA_USERS_GITHUB)} user(s)") + print("Fetching GitHub contributors...") github_elements = get_github_contributors(REPOSITORY, EXTRA_USERS_GITHUB)