get_pull_request_details
Retrieve detailed information about a specific pull request on AtomGit by providing the repository owner, repository name, and pull request number.
Instructions
Get details of a specific pull request
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | ||
| repo | Yes | ||
| pull_number | Yes |
Implementation Reference
- operations/pull.ts:68-75 (handler)The main handler function that performs the AtomGit API request to retrieve pull request details.
export async function getPullRequestDetails(owner: string, repo: string, pull_number: number) { return atomGitRequest( `https://api.atomgit.com/repos/${encodeURIComponent(owner)}/${encodeURIComponent(repo)}/pulls/${encodeURIComponent(pull_number)}`, { method: "GET", } ); } - operations/pull.ts:17-21 (schema)Zod schema defining the input parameters for the get_pull_request_details tool.
export const GetPullRequestDetailsSchema = z.object({ owner: z.string(), repo: z.string(), pull_number: z.number(), }); - index.ts:138-141 (registration)Registration of the get_pull_request_details tool in the MCP server tool list, including name, description, and input schema.
name: "get_pull_request_details", description: "Get details of a specific pull request", inputSchema: zodToJsonSchema(pull.GetPullRequestDetailsSchema), }, - index.ts:389-395 (handler)The switch case dispatcher in the MCP CallToolRequest handler that parses arguments and invokes the getPullRequestDetails function.
case "get_pull_request_details": { const args = pull.GetPullRequestDetailsSchema.parse(request.params.arguments); const result = await pull.getPullRequestDetails(args.owner, args.repo, args.pull_number); return { content: [{ type: "text", text: JSON.stringify(result, null, 2) }], }; }