add_issue_comment
Add comments to GitHub issues by specifying repository owner, repository name, issue number, and comment text. Returns details of the created comment using the GitHub API.
Instructions
Add a comment to an issue.
Args:
params: Parameters for adding a comment including:
- owner: Repository owner (user or organization)
- repo: Repository name
- issue_number: Issue number to comment on
- body: Comment text
Returns:
Created comment details from GitHub API
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| params | Yes |
Input Schema (JSON Schema)
{
"$defs": {
"IssueCommentParams": {
"description": "Parameters for adding a comment to an issue.",
"properties": {
"body": {
"description": "Comment text",
"title": "Body",
"type": "string"
},
"issue_number": {
"description": "Issue number to comment on",
"title": "Issue Number",
"type": "integer"
},
"owner": {
"description": "Repository owner (username or organization)",
"title": "Owner",
"type": "string"
},
"repo": {
"description": "Repository name",
"title": "Repo",
"type": "string"
}
},
"required": [
"owner",
"repo",
"issue_number",
"body"
],
"title": "IssueCommentParams",
"type": "object"
}
},
"properties": {
"params": {
"$ref": "#/$defs/IssueCommentParams"
}
},
"required": [
"params"
],
"title": "add_issue_commentArguments",
"type": "object"
}