martin_create_pr
Create or preview a GitHub pull request with a MartinLoop dossier body, then call gh when execute=true.
Instructions
Create or preview a GitHub PR with a MartinLoop dossier body. Use execute=true to actually call gh.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | No | ||
| file | No | ||
| title | No | ||
| format | No | ||
| latest | No | ||
| loopId | No | ||
| execute | No | ||
| runsDir | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| url | No | URL of the created pull request. | |
| body | Yes | GitHub-flavoured Markdown PR body containing the run dossier. | |
| grade | Yes | Verification grade assigned to the run. | |
| score | Yes | Numeric verification score from 0–100. | |
| title | Yes | Suggested GitHub pull-request title. | |
| branch | No | Current branch of the run's repository, when known. | |
| loopId | Yes | MartinLoop run identifier used to generate the summary. | |
| created | Yes | Whether a pull request was created. | |
| execute | Yes | Whether gh was asked to create the pull request. |