martin_create_pr
Create or preview a GitHub pull request containing a MartinLoop dossier body. Set execute=true to submit the PR via gh.
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 |
|---|---|---|---|
| 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. | |
| loopId | Yes | MartinLoop run identifier used to generate the summary. |