Github Update Issue

{
  "type": "object",
  "properties": {
    "owner": {
      "type": "string",
      "description": "Repository owner"
    },
    "repo": {
      "type": "string",
      "description": "Repository name"
    },
    "issue_number": {
      "type": "number",
      "description": "Issue number"
    },
    "title": {
      "type": "string",
      "description": "Updated issue title"
    },
    "body": {
      "type": "string",
      "description": "Updated issue body (markdown)"
    },
    "state": {
      "type": "string",
      "description": "Issue state: open or closed"
    },
    "labels": {
      "type": "array",
      "description": "Replacement label names"
    },
    "assignees": {
      "type": "array",
      "description": "Replacement assignee usernames"
    }
  },
  "required": [
    "owner",
    "repo",
    "issue_number"
  ],
  "description": "Input schema for the github__update_issue tool."
}