From ef84add35ce82c3ffb2267208a1a7743a5c00a31 Mon Sep 17 00:00:00 2001 From: Jeremy Wu Date: Mon, 2 Jun 2025 12:27:38 +0000 Subject: [PATCH] minor adjustments --- .github/update_release_pr.py | 6 +++--- .github/workflows/release_pr.yml | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/update_release_pr.py b/.github/update_release_pr.py index bc16f20bc..f90f6181d 100644 --- a/.github/update_release_pr.py +++ b/.github/update_release_pr.py @@ -88,7 +88,7 @@ def get_prs(pull_request_items: list[dict], label: str = "", state: str = "all") Returns a list of pull requests after applying the label and state filters. Args: - pull_request_items (str): List of PR items. + pull_request_items (list[dict]): List of PR items. label (str): The label name. state (str): State of PR, e.g. open, closed, all @@ -158,6 +158,7 @@ def update_pull_request_description(token: str, owner: str, repo: str, pr_number print(f"URL: {url}") try: + response = None response = requests.patch(url, headers=headers, json=payload) response.raise_for_status() @@ -180,10 +181,9 @@ if __name__ == "__main__": repository_owner = "flow-launcher" repository_name = "flow.launcher" - target_label = "enhancement" state = "all" - print(f"Fetching PRs for {repository_owner}/{repository_name} with label '{target_label}'...") + print(f"Fetching {state} PRs for {repository_owner}/{repository_name} ...") pull_requests = get_github_prs(github_token, repository_owner, repository_name) diff --git a/.github/workflows/release_pr.yml b/.github/workflows/release_pr.yml index b0a178304..451bf386c 100644 --- a/.github/workflows/release_pr.yml +++ b/.github/workflows/release_pr.yml @@ -22,4 +22,4 @@ jobs: GITHUB_TOKEN: ${{ secrets.PR_TOKEN }} run: | pip install requests -q - python ./.github/update_release_pr.py + python3 ./.github/update_release_pr.py