Skip to content

fix(dor): scope the dor-stuck mark by ownership, not by the gate label - #1003

Merged
TaekeK merged 1 commit into
mainfrom
bugfixes/reconcile-dorstuck-scope
Aug 11, 2026
Merged

fix(dor): scope the dor-stuck mark by ownership, not by the gate label#1003
TaekeK merged 1 commit into
mainfrom
bugfixes/reconcile-dorstuck-scope