Merge branch 'rohitinu6:main' into stockprice

rohitinu6 · Oct 27, 2024 · f83807f · f83807f
2 parents 5867446 + fbcf275
commit f83807f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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 = []

diff --git 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"