(title: str)
| 142 | |
| 143 | |
| 144 | def extract_pr_number(title: str) -> int | None: |
| 145 | matches = PR_NUMBER_RE.findall(title or "") |
| 146 | return int(matches[-1]) if matches else None |
| 147 | |
| 148 | |
| 149 | def split_known_choice(raw_text: str, choices: list[str], default: str) -> str: |