github_create_pr_comment
Add a comment to a pull request on GitHub. Specify the repository, PR number, and markdown-supported body to post feedback or discussion.
Instructions
Add a comment on a pull request.
Args: owner: Repository owner repo: Repository name pr_number: PR number body: Comment body (markdown supported) session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | ||
| repo | Yes | ||
| owner | Yes | ||
| pr_number | Yes | ||
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |