cs2/jRandomSkills
1
0
Fork 0
Code Issues Pull requests Projects Releases 1 Packages Wiki Activity Actions

Update update_thanks.py

Browse source
This commit is contained in:
Juzlus 2026-06-10 14:10:53 +02:00
parent abe5e3ff56
commit 9985961c79
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
.github/update_thanks.py vendored
View file

@ -150,8 +150,8 @@ def get_discord_users(user_ids):
def process_file(filename, github_elements, discord_elements, is_pl): def process_file(filename, github_elements, discord_elements, is_pl):
input_path = f"./{filename}" input_path = f"./.github/{filename}"
output_path = f"../{filename}" output_path = f"./{filename}"
if not os.path.exists(input_path): if not os.path.exists(input_path):
print(f"Error: File {input_path} does not exist") 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(): 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...") print("Fetching GitHub contributors...")
github_elements = get_github_contributors(REPOSITORY, EXTRA_USERS_GITHUB) github_elements = get_github_contributors(REPOSITORY, EXTRA_USERS_GITHUB)