Function check_pr

scripts/generate_checklist.py:29–35

(pr_id: str)

def check_pr(pr_id: str) -> bool:
    if pr_id.startswith("#"):
        pr_id = pr_id[1:]
    int_pr_id = int(pr_id)
    req = f"https://api.github.com/repos/RustPython/RustPython/pulls/{int_pr_id}"
    response = requests.get(req).json()
    return response["merged_at"] is not None


@dataclasses.dataclass