From ef93e561d63d01c44d1bbdd8059b0593532b3b1e Mon Sep 17 00:00:00 2001 From: MCAHITK-MINOR-PROJECT Date: Sun, 27 Oct 2024 00:25:37 +0530 Subject: [PATCH] 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 = []