delete_issue_comment
Remove an issue comment from a GitHub repository by specifying the owner, repo, issue number, and comment ID. Streamlines the process of comment deletion for efficient issue management.
Instructions
Delete an issue comment.
Args:
params: Parameters for deleting a comment including:
- owner: Repository owner (user or organization)
- repo: Repository name
- issue_number: Issue number containing the comment
- comment_id: Comment ID to delete
Returns:
Empty response on success
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| params | Yes |
Input Schema (JSON Schema)
{
"$defs": {
"DeleteIssueCommentParams": {
"description": "Parameters for deleting an issue comment.",
"properties": {
"comment_id": {
"description": "Comment ID to delete",
"title": "Comment Id",
"type": "integer"
},
"issue_number": {
"description": "Issue number containing the comment",
"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",
"comment_id"
],
"title": "DeleteIssueCommentParams",
"type": "object"
}
},
"properties": {
"params": {
"$ref": "#/$defs/DeleteIssueCommentParams"
}
},
"required": [
"params"
],
"title": "delete_issue_commentArguments",
"type": "object"
}