pi-session-prs

A pi extension that lists the GitHub PRs of the current session in the footer, grouped by state: ● open, ✔ merged, ✕ closed. Numbers are clickable. A url only counts once gh pr view confirms the PR exists, so pasted or hypothetical numbers never show up.

PRs are picked up from the session transcript, from tool results, and from gh pr list for the current branch. States refresh while the session runs.

Install

pi install npm:pi-session-prs

Or add a local checkout to ~/.pi/agent/settings.json:

{
  "extensions": ["/path/to/pi-session-prs/index.ts"]
}

Usage

• The footer shows PR ● #604 #612 ✔ #598 ✕ #590, up to 5 entries plus a +n overflow count.
• /prs — pick a PR from this session and open it in the browser.
• /pr-checks — list the latest workflow runs of a PR (outcome, workflow, duration, failure reason; failures first) and open one in the browser. The PR dialog is skipped when the session has only one PR.

Requirements

The gh CLI, authenticated.

Development

See CONTRIBUTING.md.