Merge pull request #194 from MCAHITK-MINOR-PROJECT/patch-6

Update update_leaderboard.py
rohitinu6 · Oct 26, 2024 · 9699bb2 · 9699bb2
2 parents 8700d83 + ef93e56
commit 9699bb2
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 = []