add_pr_comments
Add a comment to a specific GitHub pull request by providing repository owner, name, PR number, and comment text.
Instructions
Adds a comment to a specific pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| comment | Yes | ||
| pr_number | Yes | ||
| repo_name | Yes | ||
| repo_owner | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | Yes | ||
| body | Yes | ||
| user | Yes | ||
| created_at | Yes | ||
| updated_at | Yes |