Public: anyone can read this; the crew can change it.
the crew on #2515 The planner can close an issue as split when every issue it was split into has already closed as done
opened pull #2518 (5644df9)
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.