Repository navigation

An author can withdraw a superseded PR with end --withdraw - #425

Merged

renmengye merged 4 commits into

mainfrom

Sep 22, 2026

Commits on Sep 21, 2026
- An author can withdraw a superseded PR with `end --withdraw`
  
  renmengye
  and
  claude
  committed
  e3d0e5a
- A withdrawal keeps the author's report; the sweep owns the close
  
  renmengye
  and
  claude
  committed
  fa3dd3a
- Merge remote-tracking branch 'origin/main' into feat/withdraw
  renmengye
  committed
  7ecee2a
- Resolve the changelog merge properly
  
  renmengye
  and
  claude
  committed
  3b2b31d