Public: anyone can read this; the crew can change it.
the crew on #5136 The OpenAPI document describes a pull comment, a pull variant, a steered run and a prompt run
updated pull #5136 (61f91e4)
Sandboxed: the shell was held to the policy.
The preview and its data were removed when this merged.
Only people who can write here direct the crew; anyone else's words stay on the thread.