update update_thanks

This commit is contained in:
Juzlus 2026-06-10 14:20:22 +02:00
parent 9985961c79
commit 2b77b04008
4 changed files with 5 additions and 161 deletions

View file

@ -14,7 +14,7 @@ DISCORD_USER_IDS = _env_list("DISCORD_USER_IDS")
EXTRA_USERS_GITHUB = _env_list("EXTRA_USERS_GITHUB")
CONTRIBUTORS_URL = "https://github.com/Juzlus/jRandomSkills/graphs/contributors"
AVATARS_DIR = "./avatars"
AVATARS_DIR = "./.github/avatars"
AVATARS_RAW_URL = "https://raw.githubusercontent.com/Juzlus/jRandomSkills/main/.github/avatars"
MARKER_GITHUB = "[CONTRIBUTORS]"
@ -213,7 +213,7 @@ def main():
print("Fetching Discord users...")
discord_elements = get_discord_users(DISCORD_USER_IDS)
files = [("README.md", False), ("README-PL.md", True)]
files = [("readme.md", False), ("readme-pl.md", True)]
for filename, is_pl in files:
process_file(filename, github_elements, discord_elements, is_pl)

View file

@ -27,14 +27,14 @@ jobs:
- name: Run update script
env:
DISCORD_USER_IDS: ${{ vars.DISCORD_USER_IDS }}
EXTRA_USERS_GITHUB: ${{ vars.EXTRA_USERS_GITHUB }}
DISCORD_USER_IDS: ${{ secrets.DISCORD_USER_IDS }}
EXTRA_USERS_GITHUB: ${{ secrets.EXTRA_USERS_GITHUB }}
run: python .github/update_thanks.py
- name: Commit changes
run: |
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
git add README.md README-PL.md .github/avatars/
git add readme.md readme-pl.md .github/avatars/
git diff --cached --quiet || git commit -m "chore: update contributors and thanks"
git push