GitHub
add_reply_to_pull_request_comment
Add a reply to an existing pull request comment. This creates a new comment that is linked as a reply to the specified comment.
Remote github
Other tools also called add_reply_to_pull_request_comment?
See providers with this name
Input Schema
{
"type": "object",
"properties": {
"body": {
"type": "string",
"description": "The text of the reply"
},
"repo": {
"type": "string",
"description": "Repository name"
},
"owner": {
"type": "string",
"description": "Repository owner"
},
"commentId": {
"type": "number",
"description": "The ID of the comment to reply to"
},
"pullNumber": {
"type": "number",
"description": "Pull request number"
}
}
}