This adds the pull-lifecycle help topic: atgc agent pull-lifecycle walks an agent from opening a pull to merging it. It covers the fact that pr create pushes the branch itself, the three meanings of its exit 7, the resubmit lease and the new_version: false no-op, CI exits (pr checks always 0, run watch timeout 6), and that pr merge --dry-run checks conflicts but never permission.
Every pull goes through this flow, and the facts are the ones agents get wrong: src/cmd/agent/mod.rs names pushing to update a pull as the habit agents bring from other forges, the dry run passed for an account that could not merge (dogfood r4 #4), and pr create's exit 7 has three different next commands.
🤖 Generated with Claude Code