Repository navigation

feat: make the pull-request identity explicit - #55

Merged

JounQin merged 9 commits into

mainfrom

feat/pr-identity

Oct 31, 2026

Merged

feat: make the pull-request identity explicit#55
JounQin merged 9 commits into
mainfrom
feat/pr-identity

Commits on Oct 31, 2026
- feat: make the pull-request identity explicit
  JounQin
  committed
  e24242f
- refactor: drop the redundant --as-app flag
  JounQin
  committed
  8454a4d
- docs: align the identity docs with the explicit default
  JounQin
  committed
  358d168
- docs: scope the resolve permission claim to pull-request tokens
  JounQin
  committed
  ff19aed
- fix: reject a bare and valued --as-user together
  JounQin
  committed
  e1b1da0
- test: pin the bare/valued --as-user conflict
  JounQin
  committed
  20034d7
- test: cover every bare/valued --as-user spelling
  JounQin
  committed
  8db9e7c
- test: pin the identity sent for open and resolve
  JounQin
  committed
  26df8c2
- docs: name the grant a resolving user token needs
  JounQin
  committed
  566fcb3