GitHub @codex work task gets no tool to push back to existing PR despite write access
Product
Codex Cloud / GitHub @codex mention workflow
Summary
A non-review @codex mention on an existing pull request started the expected Codex Cloud work task, checked out the correct repository and PR branch, edited and tested the code, and made a local commit. The task was not given any GitHub publishing tool, so it could not push the commit back to the existing PR branch despite the ChatGPT Codex Connector having write access.
This is not a dependency setup failure or a missing GitHub App installation.
Reproduction
Public pull request: https://github.com/discopy/discopy/pull/438
- Install the ChatGPT Codex Connector for
discopy/discopy. - Create a Codex Cloud environment for that repository.
- On the existing same-repository PR, comment:
````
@codex address the comments above
- After creating the environment, trigger it again:
````
done @codex try again
- Wait for the cloud task to finish.
Trigger: https://github.com/discopy/discopy/pull/438#issuecomment-5278877123
Result: https://github.com/discopy/discopy/pull/438#issuecomment-5279013264
Cloud task: https://chatgpt.com/s/cd_6a7d96c6688481919ffd773314ceb8cf
Actual behavior
The task:
- checked out
discopy/discopyonclaude/issue-437-simplify-monoidal-layer; - edited five files;
- ran the focused and full
--skip-extratest suites successfully; - created local commit
2884cb1; - then reported that
make_prwas unavailable, the checkout had no Git remote, and GitHub CLI was unauthenticated.
The task UI exposes only patch-copying actions. No commit reached the existing PR branch, whose head remained 8f11875f.
The task also tried to reason about creating another pull request even though it was launched from PR #438 and should have updated that PR's existing branch.
Verified permissions and repository state
At reproduction time:
- the GitHub connector listed installations for
toumix,toumix-agents, and the personal accountdiscopy; - connector repository discovery returned
discopy/discopywithpush: true; - the public ChatGPT Codex Connector manifest requested
contents: writeandpull_requests: write; - the mentioning user
toumixhad repositorywritepermission; - PR #438 used a same-repository head branch, not a fork;
- no branch protection or repository ruleset blocked the head branch.
Reinstalling the app or adding a PAT to the cloud environment should not be necessary. Cloud secrets are unavailable during the agent phase, and the documented GitHub integration says a non-review @codex task can push a fix back to the PR branch when it has permission.
Expected behavior
A work task launched by a non-review @codex mention on an existing PR should receive the platform publishing capability needed to update that PR's current head branch.
It should:
- edit and validate the checkout;
- commit the completed change;
- push the commit to the existing PR branch through the connected GitHub installation;
- report the pushed commit accurately.
It should not require an authenticated gh CLI inside the isolated container, should not require a normal Git remote containing reusable credentials, and should not try to create a second PR.
If publication is intentionally disallowed, the task should fail before doing eleven minutes of mutation/testing and explain the exact authorization boundary rather than looking for a nonexistent make_pr tool.
Related
Related but distinct: #19520 reports fabricated successful make_pr narration. This report is the inverse failure: the task accurately admits that no publishing tool was exposed, leaving a real local commit stranded.
2 Comments
Same/Similar issue here:
A Codex cloud task was provisioned with instructions requiring the agent to:
make_prtool after committing.However, the session does not expose a
make_prtool.Repository diagnostics:
git remote -v: no outputgit config --get-regexp '^remote\.': no outputgh auth statussays no GitHub hosts are authenticatedExpected behavior:
A task that requires
make_prshould be provisioned with:make_prcallable tool;Actual behavior:
The task requires
make_pr, but the tool is absent, the checkout has no remote,and GitHub CLI is unauthenticated. The agent therefore cannot comply with the
required PR workflow.
Please determine whether:
make_prwas not registered for the session; orIndependent reproduction from
dwillz-cpu/commercial-os.We are seeing the same Codex Cloud publication failure in a governed GitHub Actions orchestration flow.
Observed behavior:
@codextask receives the exact governed task and runs in Codex Cloud.Our concrete reproduction used governing PR
dwillz-cpu/commercial-os#65; the recovered builder result was published as PR#78after the Cloud task itself could not publish it.This is not a build/test failure. The implementation was successfully produced and independently revalidated after recovery. The missing capability is specifically the Cloud-to-GitHub publication step.
We also observe a separate outbound limitation in the subscription GitHub path: an
@codexmention authored bygithub-actions[bot]does not reliably start the Codex Cloud task, while a user-authored@codexmention does. That is distinct from this issue, but together the two seams prevent a fully autonomous subscription-backed GitHub workflow.Expected behavior for this issue: after a Codex Cloud task successfully builds/tests/commits work for an authorized repository task, the platform should be able to publish that exact result to the intended GitHub branch/PR through the connected GitHub installation, without requiring a PAT or separate OpenAI API billing.
Happy to provide exact task/run evidence if useful.