micro--go-micro
b45c94e201
Codex's make_pr tool in the Cloud sandbox is a no-op stub — it records the PR title/body and returns them "for downstream consumption" (the manual "Create PR" click), but never pushes a branch or calls the GitHub API. That is why "make_pr called, nothing happened": the tool literally cannot open a PR. With the gh CLI now installed in the Codex setup and origin pointed at the repo, the dispatch tells Codex to push and open the PR itself (git push + gh pr create) instead of relying on make_pr. Claude-Session: https://claude.ai/code/session_01CmdEY7pYmV5zzwCjNJ4ykL Co-authored-by: Claude <noreply@anthropic.com>