Skip to main content
Glama

get_pull_request_files

Retrieve a list of files modified in a GitHub pull request by specifying the repository owner, name, and pull request number.

Instructions

Get the list of files changed in a pull request

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
ownerYesRepository owner (username or organization)
pull_numberYesPull request number
repoYesRepository name

Implementation Reference

  • Main handler function that fetches the list of files changed in a pull request from the GitHub API and parses the response using Zod.
    export async function getPullRequestFiles(
      owner: string,
      repo: string,
      pullNumber: number
    ): Promise<z.infer<typeof PullRequestFileSchema>[]> {
      const response = await githubRequest(
        `https://api.github.com/repos/${owner}/${repo}/pulls/${pullNumber}/files`
      );
      return z.array(PullRequestFileSchema).parse(response);
    }
  • Zod input schema defining parameters for the get_pull_request_files tool: owner, repo, pull_number.
    export const GetPullRequestFilesSchema = z.object({
      owner: z.string().describe("Repository owner (username or organization)"),
      repo: z.string().describe("Repository name"), 
      pull_number: z.number().describe("Pull request number")
    });
  • index.ts:176-178 (registration)
    Tool registration in the listTools response, specifying name, description, and input schema.
    name: "get_pull_request_files",
    description: "Get the list of files changed in a pull request",
    inputSchema: zodToJsonSchema(pulls.GetPullRequestFilesSchema)
  • Dispatch handler in the callToolRequest switch statement that invokes the getPullRequestFiles function and formats the response.
    case "get_pull_request_files": {
      const args = pulls.GetPullRequestFilesSchema.parse(request.params.arguments);
      const files = await pulls.getPullRequestFiles(args.owner, args.repo, args.pull_number);
      return {
        content: [{ type: "text", text: JSON.stringify(files, null, 2) }],
      };
    }

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/tuanle96/mcp-github'

If you have feedback or need assistance with the MCP directory API, please join our Discord server