chore(ci): remove deprecated PR-time stub workflow#875

Merged

danielmeppiel merged 2 commits intomainfrom

chore/remove-deprecated-stub

Apr 23, 2026

Commits on Apr 23, 2026

docs(ci): document merge-gate architecture and ruleset context gotcha

danielmeppiel
and
Copilot
committed
chore(ci): remove deprecated PR-time stub workflow

danielmeppiel
and
Copilot
committed