Github Add Pr Comments
github_add_pr_commentsAdds a comment to a specific pull request, enabling direct feedback or notes during PR review.
Instructions
Adds a comment to a specific pull request.
Workflow and conventions: github_get_skill('pr-review').
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 | ||
| author | Yes | ||
| html_url | Yes | ||
| created_at | Yes |