Apply a reviewed staged central publication pull request
figure_library_apply_publication_prCreate a pull request after validating GitHub account, permissions, source, merge gate, base, and file identities; never merges the PR.
Instructions
Re-check the gh account, permissions, source, merge gate, base, and file identities; then create a branch/commit/PR through Git Data API. Never merges the PR.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"planDigest": "<planDigest>",
"operationId": "<operationId>"
},
"name": "figure_library_apply_publication_pr"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| planDigest | Yes | ||
| operationId | Yes |