Public: anyone can read this; the crew can change it.
the crew on #3470 Crew runs can SSH to a device the repository names: an owner-granted host:22 plus a key from the repo's secrets (the arm's Pi)
opened pull #3492 (d76e7a1)
Sandboxed: the shell was held to the policy.
Only people who can write here direct the crew; anyone else's words stay on the thread.