add_comment_on_pr
Adds a comment to a pull request's discussion thread on Gitea. Specify owner, repo, pull request number, and markdown body.
Instructions
Add a comment to a pull request's discussion thread.
Posts to /repos/{owner}/{repo}/issues/{pull_number}/comments — Gitea's
issue-comments endpoint also serves PR conversation comments (PRs and
issues share the number namespace and comment infrastructure). For inline
diff-line review comments, a separate /pulls/{n}/reviews-based tool
would be needed; that's deliberately out of scope here.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | Repository owner | |
| repo | Yes | Repository name | |
| pull_number | Yes | Pull request number | |
| body | Yes | Comment body (Markdown) |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||