Update update_leaderboard.py

rohitinu6 · Oct 26, 2024 · ef93e56 · ef93e56
1 parent 8700d83
commit ef93e56
Showing 1 changed file with 1 addition and 0 deletions.
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 = []