"""History tools placeholder.

History tools have been moved to GitHub MCP for live GitHub integration.
Use the following GitHub MCP tools instead:

- github_list_prs: List pull requests
- github_pr_details: Get PR details with diff
- github_search_prs: Search PRs by keywords
- github_get_issue: Get issue details
"""

# This file is intentionally minimal.
# All history functionality is now provided by GitHub MCP tools.
