GitHub update issue

{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "github__update_issue",
    "arguments": {
      "owner": "example",
      "repo": "example",
      "issue_number": 0
    }
  }
}

{
  "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": "Arguments for the github__update_issue tool."
}