Repository navigation
fix: only the other member of the pair gates a promote; the others are told after (keel#137) - #141
Open
marcos-mendez wants to merge 1 commit into
Open
marcos-mendez wants to merge 1 commit into
marcos-mendez wants to merge 1 commit into
Commits
Commits on Oct 10, 2026