github_create_pull_request
Create a GitHub pull request from a verified repair branch, appending audit evidence without merging.
Instructions
Create a GitHub pull request from an existing repair branch for a maintenance run. Use only after the patch and focused verification are complete; this is the highest automatic repository write allowed by pull_request_only. It creates an external PR and appends a git_reference evidence record, but never merges it.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | Yes | Target branch that should receive the pull request. | |
| body | Yes | Pull request description with root cause, changes, tests, and known limitations. | |
| head | Yes | Existing source branch containing the repair commits. | |
| runId | Yes | Maintenance run UUID that produced the repair branch. | |
| title | Yes | Concise pull request title describing the verified repair. | |
| repository | Yes | GitHub repository in owner/name format; it must be present in GITHUB_ALLOWED_REPOSITORIES. |