{"command":{"effect":"write","timeoutSeconds":30,"inputSchema":{"type":"object","description":"You can use the REST API to update comments on issues and pull requests. Every pull request is an issue, but not every issue is a pull request.\n\nThis endpoint supports the following custom media types. For more information, see \"[Media types](https://docs.github.com/rest/using-the-rest-api/getting-started-with-the-rest-api#media-types).\"\n\n- **`application/vnd.github.raw+json`**: Returns the raw markdown body. Response will include `body`. This is the default if you do not pass any specific media type.\n- **`application/vnd.github.text+json`**: Returns a text only representation of the markdown body. Response will include `body_text`.\n- **`application/vnd.github.html+json`**: Returns HTML rendered from the body's markdown. Response will include `body_html`.\n- **`application/vnd.github.full+json`**: Returns raw, text, and HTML representations. Response will include `body`, `body_text`, and `body_html`.","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},"body":{"type":"object","properties":{"body":{"type":"string","description":"The contents of the comment."}},"required":["body"],"examples":[{"body":"Me too"}]}},"required":["path","body"],"additionalProperties":false},"name":"Update an issue comment","id":"github.issues.update-comment","example":{"path":{"owner":"octocat","repo":"hello-world","comment_id":1},"body":{"body":"Me too"}},"maxRequests":1,"summary":false}}