Skip to content

perf(review): early-exit the re-review when a swept PR is already closed on GitHub - #2000

Merged
JSONbored merged 1 commit into
mainfrom
claude/regate-terminal-exit
Jul 1, 2026
Merged

perf(review): early-exit the re-review when a swept PR is already closed on GitHub#2000
JSONbored merged 1 commit into
mainfrom
claude/regate-terminal-exit

Commits

Commits on Jul 1, 2026