From ef93e561d63d01c44d1bbdd8059b0593532b3b1e Mon Sep 17 00:00:00 2001 From: MCAHITK-MINOR-PROJECT Date: Sun, 27 Oct 2024 00:25:37 +0530 Subject: [PATCH 1/2] Update update_leaderboard.py --- .github/scripts/update_leaderboard.py | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/scripts/update_leaderboard.py b/.github/scripts/update_leaderboard.py index 3d49f6d..ec3feb7 100644 --- a/.github/scripts/update_leaderboard.py +++ b/.github/scripts/update_leaderboard.py @@ -19,6 +19,7 @@ def get_closed_prs(): headers = {} if GITHUB_TOKEN: + print(GITHUB_TOKEN) headers = {"Authorization": f"token {GITHUB_TOKEN}"} prs = [] From d647e83f2ed11350ab23d167ab353c34c8c98f07 Mon Sep 17 00:00:00 2001 From: MCAHITK-MINOR-PROJECT Date: Sun, 27 Oct 2024 00:34:17 +0530 Subject: [PATCH 2/2] Update update_leaderboard.yml --- .github/workflows/update_leaderboard.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/update_leaderboard.yml b/.github/workflows/update_leaderboard.yml index f7b6053..758364b 100644 --- a/.github/workflows/update_leaderboard.yml +++ b/.github/workflows/update_leaderboard.yml @@ -36,7 +36,7 @@ jobs: - name: Commit and push changes run: | git config --global user.name "github-actions[bot]" - git config --global user.email "github-actions[bot]@users.noreply.github.com" + git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com" git add leaderboard.md || echo "No changes to commit" # Prevent errors if there's nothing to commit git commit -m "Update leaderboard" || echo "No changes to commit" git push https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }} || echo "Nothing to push"