Report merged pull requests
record_mergesThe pull requests gh read in the founder's repo (gh pr list --state all --json url,state,mergedAt), for the Claimed PRs Shipfound cannot see (today lists them in confirm.prs). Each merged one is stored as merged and checked at once (its live page, from outside), one closed without merging fails, open ones wait. PRs never recorded are ignored. Free.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| prs | Yes |