From 3b1fe2119cbb06ac65c8d483b054635654e8ba82 Mon Sep 17 00:00:00 2001 From: Jeremy Wu Date: Sun, 13 Jul 2025 13:33:28 +0000 Subject: [PATCH] fix milestone filter print --- .github/update_release_pr.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/update_release_pr.py b/.github/update_release_pr.py index 37d4a8683..be523bfe8 100644 --- a/.github/update_release_pr.py +++ b/.github/update_release_pr.py @@ -89,7 +89,7 @@ def get_prs( count += 1 print( - f"Found {count} PRs with {label if label else 'no filter on'} label, state as {state}, and milestone {pr["milestone"] if pr["milestone"] is not None else "None"}" + f"Found {count} PRs with {label if label else 'no filter on'} label, state as {state}, and milestone {milestone_title if milestone_title else "any"}" ) return pr_list