submit_pr
Commits current workspace changes, pushes the issue branch, and opens or reuses a pull request for the issue, then destroys the workspace. Returns the PR number on success.
Instructions
Finish work on an issue: commit everything currently in the workspace,
push the selfdev/issue-<issue_number> branch, and open a new pull
request or reuse an already-open one for that branch -- then destroy
the workspace. It can never merge a pull request and never
force-pushes. Requires a GitHub repository to be configured. Returns
"opened PR #" on success, or a string starting "ERROR:" on
failure (the workspace is kept on failure so a retry doesn't need
start_issue again) -- never raises.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | Pull request description body. | |
| title | Yes | Commit message and pull request title. | |
| issue_number | Yes | The issue number whose active workspace to submit; must have been started with start_issue first. |