boj_github_get_pr
Retrieve a specific GitHub pull request by providing the repository owner, repository name, and pull request number to access detailed information.
Instructions
Get a specific pull request
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | ||
| repo | Yes | ||
| pull_number | Yes |
Implementation Reference
- mcp-bridge/main.js:253-254 (handler)The handler implementation for "boj_github_get_pr" which calls the GitHub API to get a pull request.
case "boj_github_get_pr": return githubApiCall("GET", `/repos/${args.owner}/${args.repo}/pulls/${args.pull_number}`); - mcp-bridge/main.js:538-542 (registration)Registration of the tool "boj_github_get_pr" in the tools list with its parameters.
{ name: "boj_github_get_pr", desc: "Get a specific pull request", props: { owner: { type: "string" }, repo: { type: "string" }, pull_number: { type: "number" } }, req: ["owner", "repo", "pull_number"] }, { name: "boj_github_merge_pr", desc: "Merge a pull request", props: { owner: { type: "string" }, repo: { type: "string" }, pull_number: { type: "number" }, method: { type: "string", enum: ["merge", "squash", "rebase"] } }, req: ["owner", "repo", "pull_number"] }, { name: "boj_github_search_code", desc: "Search code on GitHub", props: { query: { type: "string" } }, req: ["query"] }, { name: "boj_github_search_issues", desc: "Search issues and PRs on GitHub", props: { query: { type: "string" } }, req: ["query"] }, { name: "boj_github_get_file", desc: "Get file contents from a repo", props: { owner: { type: "string" }, repo: { type: "string" }, path: { type: "string" }, ref: { type: "string" } }, req: ["owner", "repo", "path"] },