Skip to content

Reject GitHub PR effects after cancellation - #151

Merged
dispatch-developer[bot] merged 1 commit into
mainfrom
fix/issue-150-cancelled-pr-effects
Aug 20, 2026
Merged

Reject GitHub PR effects after cancellation#151
dispatch-developer[bot] merged 1 commit into
mainfrom
fix/issue-150-cancelled-pr-effects

Commits

Commits on Aug 20, 2026