devtune_close_draft_pull_request
Close the open pull request DevTune opened from an action's draft and delete DevTune's branch, or archive its GitBook change request, as the member who created the API key or authorized this connection; they must manage this project. Works even when content pull requests are no longer enabled, so a pull request can always be withdrawn. The draft stays. Refusals: no_pull_request, pull_request_merged, source_needs_reconnect (reconnect GitHub or GitBook, or close it there), github_error and gitbook_error. Returns the closed pull request.
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": {
"actionId": "<actionId>"
},
"name": "devtune_close_draft_pull_request"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| actionId | Yes | UUID of the action. |