comment_on_pr
Add a comment to a GitHub pull request by specifying owner, repository, PR number, and Markdown-supported text to post feedback or ask questions.
Instructions
Add a comment to a pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | Comment text (supports Markdown) | |
| repo | Yes | Repository name | |
| owner | Yes | Repository owner (username or org) | |
| pr_number | Yes | Pull request number |