| name | link-prs |
| description | List the pull request URLs for every relevant pull request created or updated during the entire current session. Use when the user invokes /link-prs or $link-prs, or asks for links to pull requests created or updated during the session. |
Link Pull Requests
Return a deduplicated list of pull request URLs covering the entire current session, not only the latest turn.
Workflow
- Build a session-wide pull-request ledger from the conversation, tool history, compacted summaries, GitHub results, and current branch associations.
- Include every relevant pull request the session created or updated, including PRs with pushed commits, changed descriptions, comments, reviews, resolved threads, reopenings, closures, or merges. Exclude PRs that were only read or used as background context.
- Retain merged and closed pull requests when the session created or updated them; current open state is not required for inclusion.
- Recover direct canonical web URLs from recorded tool results or verify them with read-only repository tooling. Never infer a PR number or fabricate a URL.
- Preserve first-change order and list each pull request once. If the session changed no pull requests, return
- None.
Output
Return only this heading and Markdown list, with no status summary or extra prose:
Pull requests
- https://github.com/owner/repository/pull/123