Split the watch-loop predicate from the merge gate (additively) - #22

Merged

topij merged 6 commits into

mainfrom

fix/split-done-mergeable-predicate

Jul 25, 2026

Commits on Jul 25, 2026

fix(pr-watch): split `done` into watch-convergence and merge-authorization
Topi Jarvinen
committed
docs(config): correct the require_ci comment to name `mergeable`
Topi Jarvinen
committed
refactor(pr-watch): make the predicate split purely additive
Topi Jarvinen
committed
docs(pr-watch): update the exit-code note to name the current predicates
Topi Jarvinen
committed
fix(dev-session): declare `mergeable` local; pin `converged` alongside `mergeable`
Topi Jarvinen
committed
fix(pr-watch): bool-type the merge predicate; correct two docstrings
Topi Jarvinen
committed