Skip to content

chore(reconciler): stop polling genuinely-closed-unmerged proposals (Tier A) - #216

Merged
SoundMindsAI merged 5 commits into
mainfrom
chore/reconciler-terminal-closed-no-poll
May 23, 2026
Merged

chore(reconciler): stop polling genuinely-closed-unmerged proposals (Tier A)#216
SoundMindsAI merged 5 commits into
mainfrom
chore/reconciler-terminal-closed-no-poll

docs(planned): capture test_migrations.py head-pin brittleness

2f489df
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar