/** * GitHub MCP Tools — PR management and issue tracking. * Extracted from github-tools.ts. */ import type { MCPTool } from './types.js'; export declare const githubPrManageTool: MCPTool; export declare const githubIssueTrackTool: MCPTool; //# sourceMappingURL=github-tools-pr.d.ts.map