Loading subscription status...
{ "mcpServers": [ { "GitHub Integration MCP Server": { "env": { "GITHUB_TOKEN": "<your-github-token>" }, "args": [ "owner", "repo", "pr_number" ], "command": "retrieve_diff_pr" } } ] }