Documentation IndexFetch the complete documentation index at: /docs/llms.txtUse this file to discover all available pages before exploring further.
Fetch the complete documentation index at: /docs/llms.txt
Use this file to discover all available pages before exploring further.
Add a comment to a GitHub issue or pull request
github__add_issue_comment
{ "type": "object", "properties": { "owner": { "type": "string", "description": "Repository owner" }, "repo": { "type": "string", "description": "Repository name" }, "issue_number": { "type": "number", "description": "Issue or pull request number" }, "body": { "type": "string", "description": "Comment body (markdown)" } }, "required": [ "owner", "repo", "issue_number", "body" ], "description": "Input schema for the github__add_issue_comment tool." }