writ_github_toggle_pr_comments
Enable or disable the optional PR-comment bot for a GitHub App installation. Defaults to off; use the installations tool to find the installation ID.
Instructions
Enable or disable the optional PR-comment bot for a GitHub App installation.
Default is OFF. No TOTP step-up is required. Use writ_github_installations to find installation_id.
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": {
"installation_id": "<installation_id>",
"enabled": "<enabled>"
},
"name": "writ_github_toggle_pr_comments"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| enabled | Yes | ||
| installation_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |