add_pr_comments
Adds comments to GitHub pull requests to facilitate code review and discussion without leaving your chat interface.
Instructions
Adds a comment to a specific pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo_owner | Yes | ||
| repo_name | Yes | ||
| pr_number | Yes | ||
| comment | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | Yes | ||
| body | Yes | ||
| user | Yes | ||
| created_at | Yes | ||
| updated_at | Yes |