From 124130a7ae747ef509fe212ce3cac52f6d7b25ab Mon Sep 17 00:00:00 2001 From: Jeremy Wu Date: Mon, 2 Jun 2025 11:35:43 +0000 Subject: [PATCH] formatting --- .github/update_release_pr.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/update_release_pr.py b/.github/update_release_pr.py index 40bc80b2f..9c1557ad0 100644 --- a/.github/update_release_pr.py +++ b/.github/update_release_pr.py @@ -1,3 +1,5 @@ +from os import getenv + import requests @@ -169,7 +171,7 @@ def update_pull_request_description(token: str, owner: str, repo: str, pr_number if __name__ == "__main__": - github_token = os.environ.get("PR_GET_TOKEN") + github_token = getenv("GITHUB_TOKEN") if not github_token: print("Error: GITHUB_TOKEN environment variable not set.")