add_pr_comment
Add a general comment to a pull request or merge request on GitHub or GitLab. Specify the provider, repository, PR number, and comment content.
Instructions
Add a general comment to PR/MR
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| provider | Yes | Code hosting provider | |
| repo | Yes | Repository path | |
| pr_id | Yes | PR/MR number | |
| comment | Yes | Comment content | |
| host | No | GitLab host for self-hosted instances |