Repository navigation

refactor: simplify the pr command - #36

Merged

JounQin merged 13 commits into

mainfrom

fix/pr-host-default

Oct 29, 2026

Merged

refactor: simplify the pr command#36
JounQin merged 13 commits into
mainfrom
fix/pr-host-default

Commits on Oct 28, 2026
- fix: default the pr host to github.com
  JounQin
  committed
  fedcd75
- fix: reject an empty pr host
  JounQin
  committed
  b111612
- test: cover a valueless pr host
  JounQin
  committed
  7595bf0
- refactor: remove the pr merge action
  JounQin
  committed
  20b94f1
- feat: resolve the pr repository from origin
  JounQin
  committed
  2775bab
- refactor: route pr updates through gh pr edit
  JounQin
  committed
  f1a3859
- fix: reject removed merge flags and quote update values
  JounQin
  committed
  c70c35f
- test: exercise the anchor rule on a valid non-comment action
  JounQin
  committed
  5a8bb0d
- fix: reject unknown pr flags and positionals
  JounQin
  committed
  2b83798
- fix: reject a valueless repo flag
  JounQin
  committed
  eabe4c7
Commits on Oct 29, 2026
- fix: validate normalized pr option names
  JounQin
  committed
  58d01f8
- fix: reject option-looking host and repo values
  JounQin
  committed
  05def2b
- fix: validate every host and repo occurrence
  JounQin
  committed
  912eee7