pi-gh-status

Pi extension that adds GitHub service health and current-branch pull request status to the Pi footer.

What it shows

• GitHub service health from GitHub Status.
• Current branch PR check summary when the branch has a GitHub pull request.
• Recent human, Cursor BugBot, Copilot, and other bot activity counts.
• No PR when the current GitHub remote and branch do not have a pull request.
• No right-side PR text when the current directory has no GitHub remote or no current branch.

The extension also registers commands and tools for refreshing and inspecting the same snapshot.

Before you begin

You need:

• Pi installed.
• GitHub CLI (gh) installed and authenticated for pull request lookup.
• A GitHub remote in the repositories where you want PR status.
• Node.js and pnpm for local development.

Install from GitHub

Install the public Git package with Pi:

pi install git:github.com/b-koop/pi-gh-status

Restart Pi, or reload extensions if your Pi session supports it.

Try without installing

Run Pi with the extension directly from a local checkout:

git clone git@github.com:b-koop/pi-gh-status.git
cd pi-gh-status
pnpm install
pi -e ./src/extension.ts

Use the extension

The extension refreshes automatically on session start, turn start/end, and a timer. It adds these Pi commands:

/gh-status-refresh   Refresh GitHub service and current-branch PR status
/gh-pr               Show current branch PR diagnostics
/gh-status-debug     Show extension debug information

It also exposes these tools to the assistant:

• github_status_refresh
• github_pr_diagnostics
• github_status_debug

Footer behavior

Repository state	Right-side footer text
GitHub remote + current branch + PR	PR #<number>: ...
GitHub remote + current branch + no PR	No PR
No GitHub remote	hidden
Detached HEAD / no current branch	hidden

Develop

Install dependencies:

pnpm install

Run type checks:

pnpm run check

Run tests:

pnpm test

Package structure

The Pi package manifest in package.json points Pi at:

{
  "pi": {
    "extensions": ["./src/extension.ts"]
  }
}

License

ISC