Github Project Manager

get_issue

Retrieve detailed information about a specific issue in a GitHub repository by providing the owner, repo, and issue number.

Instructions

Get details of a specific issue in a GitHub repository.

Input Schema

NameRequiredDescriptionDefault
issue_numberYesIssue number
ownerYesRepository owner (username or organization)
repoYesRepository name

Input Schema (JSON Schema)

{ "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "issue_number": { "description": "Issue number", "type": "number" }, "owner": { "description": "Repository owner (username or organization)", "type": "string" }, "repo": { "description": "Repository name", "type": "string" } }, "required": [ "owner", "repo", "issue_number" ], "type": "object" }
ID: wajp07sk6l