Pull Request Tools

Pull Request Tools

Pull request tools allow you to manage GitHub pull requests.

Available Tools

• List pull requests
• Create pull request

Example Usage

{
  "name": "list_pull_requests",
  "parameters": {
    "owner": "octocat",
    "repo": "Hello-World",
    "state": "open"
  }
}

Tool Interaction Flow

sequenceDiagram
    participant User
    participant MCPServer
    participant GitHub
    User->>MCPServer: Call list_pull_requests
    MCPServer->>GitHub: Fetch pull requests
    GitHub-->>MCPServer: Return PRs
    MCPServer-->>User: Return results

Loading

Related

• Features
• Repository Tools
• Issue Tools
• Content Tools