Recovering a PR
Sometimes a run commits and pushes its work but the pull request doesn't open — usually a GitHub token scope/permission issue at the moment of creation. The work isn't lost.
What happens
- The run status shows pushed (branch is on GitHub, no PR).
- AM stored the computed PR title and body (including the agent's summary) and the branch, so the PR can be recreated identically later.
Recover it
- Fix the underlying cause (e.g. ensure your GitHub connection has PR permissions).
- Open the run and click Create PR.
- AM recreates the pull request from the stored title/body + the pushed branch — matching what a normal run would have produced.
Avoiding it
Most commonly this is a one‑time auth/config gap. Once the GitHub connection has the right scope, subsequent runs open PRs automatically.