Skip to content

merge: adding a gate is the supervisor's call; changing one stays the owner's - #217

Merged
hhff merged 3 commits into
mainfrom
gate-add-supervisor
Nov 13, 2026
Merged

merge: adding a gate is the supervisor's call; changing one stays the owner's#217
hhff merged 3 commits into
mainfrom
gate-add-supervisor

merge: gate-add review fixes: chores only, order is the owner's, firs…

4bd0f13
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar