merge queue: checking #784 on main (fe4fe56) - #925

Closed

mergify[bot] wants to merge 3 commits into

mainfrom

mergify/merge-queue/f00c010cac

Commits on Sep 24, 2026

unverified-tag-ledger: gate the next-prompt reminder, default to stale only

EdbertChan
and
claude
committed
ba95eda
diu-stop: a file citation buys silence only when it is backed

EdbertChan
and
claude
committed
717a1f8
Merge of #784
mergify[bot]
committed
2b16628