GitHub
GitHub shows up in stndp two ways — through your local gh CLI (nothing
to connect) and through the GitHub App (server-side enrichment). They're
complementary.
Local gh — nothing to connect
If you have the authenticated GitHub CLI installed, the
stn CLI uses it directly — no integration needed:
stn resumeshows the PRs awaiting your review, and resolves linked GitHub PRs to their live title and state.stn bragadds the PRs you reviewed and the commits you authored in the period.stn checkpoint --githubattaches your review queue and recent activity to a checkpoint.
This runs entirely on your machine via gh; nothing about your repos is sent to
stndp unless you link or capture it.
The GitHub App — server-side enrichment
A team admin can install the GitHub App from Dashboard →
Integrations → connect GitHub. The App lets the server enrich PR and issue
links with their live title and state for the whole team — not
just for whoever happens to have gh installed — and best-effort maps the installing
user's GitHub login to their stndp account so webhook actors resolve to real people.
The install is keyed on the GitHub installation id and is idempotent: re-installing updates the
same connection. Enrichment uses the App's own credentials, so it keeps working regardless of any
individual's local setup. (If the App isn't configured on your server, the dashboard simply notes
that GitHub uses your local gh instead.)
Linking PRs to your work
stn link 7 https://github.com/org/repo/pull/42 --type entry
stn link 12 https://github.com/org/repo/pull/99 --type decision
Attach a PR to an entry, checkpoint, or decision and the graph shows its live state next to the work. See Brag, export & graph and Inbound webhooks for CI-driven automation.