{"command":{"effect":"write","timeoutSeconds":30,"inputSchema":{"type":"object","description":"Deletes a review comment.","properties":{"path":{"type":"object","properties":{"owner":{"type":"string","description":"The account owner of the repository. The name is not case sensitive."},"repo":{"type":"string","description":"The name of the repository without the `.git` extension. The name is not case sensitive."},"comment_id":{"type":"integer","description":"The unique identifier of the comment."}},"required":["owner","repo","comment_id"],"additionalProperties":false}},"required":["path"],"additionalProperties":false},"name":"Delete a review comment for a pull request","id":"github.pulls.delete-review-comment","example":{"path":{"owner":"octocat","repo":"hello-world","comment_id":1}},"maxRequests":1,"summary":false}}