control, web, wiki: merge gates on mr show and the page, every unmet gate at once !343

merged merged by cmc on 2026-09-08 02:35 UTC · krz/gitbay:merge-gates into main