martin_create_pr
Generate a GitHub pull request with a MartinLoop dossier to document code changes, costs, and verification status.
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 |
|---|---|---|---|
No arguments | |||