Repository navigation

refactor: remove the duplicate plain pr comment path - #25

Merged

JounQin merged 16 commits into

mainfrom

feat/pr-comment

Oct 27, 2026

Merged

refactor: remove the duplicate plain pr comment path#25
JounQin merged 16 commits into
mainfrom
feat/pr-comment

Commits on Oct 27, 2026
- feat: route plain pr comments through gh
  JounQin
  committed
  604c882
- refactor: point plain pr comments at gh
  JounQin
  committed
  dc68cb6
- fix: do not treat a gh flag value as help
  JounQin
  committed
  e4da24c
- fix: answer help everywhere and name the comment replacement first
  JounQin
  committed
  d829d48
- refactor: drop the plain-comment migration hint
  JounQin
  committed
  760964d
- docs: match the comment refusal with its message
  JounQin
  committed
  4656d99
- fix: reject a known flag as a missing value
  JounQin
  committed
  341aa88
- fix: refuse a missing optional flag value
  JounQin
  committed
  8332c1e
- refactor: derive the known flags from the allowed set
  JounQin
  committed
  3ff2725
- fix: let help win after a value flag
  JounQin
  committed
  e5762d9
- fix: preserve the pr transport code and help ordering
  JounQin
  committed
  49e82a7
- fix: keep -h working after a value flag
  JounQin
  committed
  42c68aa
- refactor: scan gh options in one pass
  JounQin
  committed
  150a8c9
- fix: handle short gh flags and drop the unused JSON flag
  JounQin
  committed
  b8388e8
- fix: honour the -- terminator in gh options
  JounQin
  committed
  0077b23
- test: make the -- terminator case independent of the machine
  JounQin
  committed
  54a92f8