GitHub
add_comment_to_pending_review
Add review comment to the requester's latest pending pull request review. A pending review needs to already exist to call this (check with the user if not sure).
Remote github
Other tools also called add_comment_to_pending_review?
See providers with this name
Input Schema
{
"type": "object",
"properties": {
"body": {
"type": "string",
"description": "The text of the review comment"
},
"line": {
"type": "number",
"description": "The line of the blob in the pull request diff that the comment applies to. For multi-line comments, the last line of the range"
},
"path": {
"type": "string",
"description": "The relative path to the file that necessitates a comment"
},
"repo": {
"type": "string",
"description": "Repository name"
},
"side": {
"enum": [
"LEFT",
"RIGHT"
],
"type": "string",
"description": "The side of the diff to comment on. LEFT indicates the previous state, RIGHT indicates the new state"
},
"owner": {
"type": "string",
"description": "Repository owner"
},
"startLine": {
"type": "number",
"description": "For multi-line comments, the first line of the range that the comment applies to"
},
"startSide": {
"enum": [
"LEFT",
"RIGHT"
],
"type": "string",
"description": "For multi-line comments, the starting side of the diff that the comment applies to. LEFT indicates the previous state, RIGHT indicates the new state"
},
"pullNumber": {
"type": "number",
"description": "Pull request number"
},
"subjectType": {
"enum": [
"FILE",
"LINE"
],
"type": "string",
"description": "The level at which the comment is targeted"
}
}
}