/**
 * GitHub Tool Group - 16 tools
 *
 * Tools: get_github_issues, get_github_prs, get_github_issue, get_github_pr,
 *        get_github_context, get_kanban_board, move_kanban_item,
 *        create_github_issue_with_entry, close_github_issue_with_entry,
 *        get_github_milestones, get_github_milestone,
 *        create_github_milestone, update_github_milestone, delete_github_milestone,
 *        get_repo_insights,
 *        get_copilot_reviews
 */
import type { ToolDefinition, ToolContext } from '../../types/index.js';
export { GitHubIssueOutputSchema, GitHubPullRequestOutputSchema, GitHubMilestoneOutputSchema, } from './github/schemas.js';
export declare function getGitHubTools(context: ToolContext): ToolDefinition[];
//# sourceMappingURL=github.d.ts.map