get_issue
Retrieve detailed information about a specific GitHub issue by providing the repository owner, repository name, and issue number.
Instructions
Get details about a specific issue.
Args:
params: Parameters for getting an issue including:
- owner: Repository owner (user or organization)
- repo: Repository name
- issue_number: Issue number to retrieve
Returns:
Issue details from GitHub API
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| params | Yes |
Input Schema (JSON Schema)
{
"$defs": {
"GetIssueParams": {
"description": "Parameters for getting an issue.",
"properties": {
"issue_number": {
"description": "Issue number to retrieve",
"title": "Issue Number",
"type": "integer"
},
"owner": {
"description": "Repository owner (username or organization)",
"title": "Owner",
"type": "string"
},
"repo": {
"description": "Repository name",
"title": "Repo",
"type": "string"
}
},
"required": [
"owner",
"repo",
"issue_number"
],
"title": "GetIssueParams",
"type": "object"
}
},
"properties": {
"params": {
"$ref": "#/$defs/GetIssueParams"
}
},
"required": [
"params"
],
"title": "get_issueArguments",
"type": "object"
}