github_pulls_create_review_comment
Add a review comment to a GitHub pull request. Provide owner, repo, and pull number to post the comment.
Instructions
Create a review comment for a pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | owner | |
| repo | Yes | repo | |
| pull_number | Yes | pull_number | |
| body | No | Request body (JSON object) |