get_issue
Retrieve details of a specific GitHub repository issue by providing the owner, repository name, and issue number for efficient issue tracking and management.
Instructions
Get details of a specific issue in a GitHub repository.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| issue_number | Yes | ||
| owner | Yes | ||
| repo | Yes |
Implementation Reference
- operations/issues.ts:55-57 (handler)The core handler function that executes the tool logic by making a GitHub API request to fetch the issue details.export async function getIssue(owner: string, repo: string, issue_number: number) { return githubRequest(`https://api.github.com/repos/${owner}/${repo}/issues/${issue_number}`); }
- operations/issues.ts:4-8 (schema)Zod schema defining the input parameters (owner, repo, issue_number) for the get_issue tool.export const GetIssueSchema = z.object({ owner: z.string(), repo: z.string(), issue_number: z.number(), });
- index.ts:153-157 (registration)Tool registration in the list of available tools, including name, description, and input schema.{ name: "get_issue", description: "Get details of a specific issue in a GitHub repository.", inputSchema: zodToJsonSchema(issues.GetIssueSchema) }
- index.ts:349-355 (registration)Handler registration in the switch statement that parses arguments and calls the getIssue function.case "get_issue": { const args = issues.GetIssueSchema.parse(request.params.arguments); const issue = await issues.getIssue(args.owner, args.repo, args.issue_number); return { content: [{ type: "text", text: JSON.stringify(issue, null, 2) }], }; }