pi-session-prs

Pi extension that shows the GitHub PRs of the current session in the footer, grouped by state, with /prs to open one in the browser.

Packages

Package details

extension

Install pi-session-prs from npm and Pi will load the resources declared by the package manifest.

npm repo home report

$ pi install npm:pi-session-prs

Package: pi-session-prs
Version: 1.1.2
Published: Aug 25, 2026
Downloads: 409/mo · 17/wk
Author: marcos.kichel
License: MIT
Types: extension
Size: 14.1 KB
Dependencies: 0 dependencies · 2 peers

Pi manifest JSON

{
  "extensions": [
    "./index.ts"
  ]
}

Security note

Pi packages can execute code and influence agent behavior. Review the source before installing third-party packages.

README

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.