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

hhff merged 3 commits into
mainfrom
gate-add-supervisor

Commits

  1. Commits on Nov 13, 2026