comment_on_pr
Add a comment to a GitHub pull request by specifying owner, repository, PR number, and Markdown-supported text to post feedback or ask questions.
Instructions
Add a comment to a 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": {
"owner": "<owner>",
"repo": "<repo>",
"pr_number": "<pr_number>",
"body": "<body>"
},
"name": "comment_on_pr"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | Comment text (supports Markdown) | |
| repo | Yes | Repository name | |
| owner | Yes | Repository owner (username or org) | |
| pr_number | Yes | Pull request number |