delimit_external_pr_check
Checks external GitHub repos for existing open or recently merged PRs from a given author to prevent duplicate submissions and stop drafting early.
Instructions
Pre-PR duplicate guard for external repos. Run BEFORE drafting.
Lists existing PRs from author against repo via gh CLI. Returns
fail-closed verdict — any open PR or PR merged in the last 30 days
yields verdict='duplicate' so the caller stops drafting before any
deliberation or submission work.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | External GitHub repo, e.g. "goharbor/harbor". | |
| author | No | GitHub username to filter by (recommended). Empty = all. | |
| state | No | "open" | "closed" | "merged" | "all". Default "all". | all |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||