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

perf(review): early-exit the re-review when a swept PR is already clo…

ae47338
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar