mirror of
https://github.com/hanzoai/dev.git
synced 2026-10-25 03:32:32 +00:00
This reverts commit https://github.com/openai/codex/pull/12633. We no longer need this PR, because we favor sending normal exec command approval server request with `additional_permissions` of skill permissions instead