multi-pr #21

Merged
torjus merged 4 commits from multi-pr into master 2024-12-30 10:11:31 +00:00
Showing only changes of commit 99118c4b7b - Show all commits

View File

@ -73,7 +73,7 @@ def get_pr(pr: int) -> dict[str, Any]:
def pr_merge_status( def pr_merge_status(
pr: int, branches: list[str] = DEFAULT_BRANCHES, check_backport: bool = True pr: int, branches: list[str] | None = DEFAULT_BRANCHES, check_backport: bool = True
) -> PRStatus: ) -> PRStatus:
if not branches: if not branches:
branches = DEFAULT_BRANCHES branches = DEFAULT_BRANCHES