boj_github_get_issue
Retrieve a specific GitHub issue by providing the repository owner, repository name, and issue number to access detailed information and track progress.
Instructions
Get a specific issue
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | ||
| repo | Yes | ||
| issue_number | Yes |
Implementation Reference
- mcp-bridge/main.js:245-246 (handler)The tool handler for "boj_github_get_issue" which makes a GET request to the GitHub API to fetch a specific issue.
case "boj_github_get_issue": return githubApiCall("GET", `/repos/${args.owner}/${args.repo}/issues/${args.issue_number}`); - mcp-bridge/main.js:534-534 (schema)The schema definition for "boj_github_get_issue" including its description, required properties (owner, repo, issue_number), and input types.
{ name: "boj_github_get_issue", desc: "Get a specific issue", props: { owner: { type: "string" }, repo: { type: "string" }, issue_number: { type: "number" } }, req: ["owner", "repo", "issue_number"] },