search_tracker
Search GitHub issues and pull requests by query, state, repo, and kind to find relevant bugs, discussions, or code changes. Read-only; returns up to 50 matches.
Instructions
Search open, closed, and merged GitHub issues and PRs. Read-only.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| kind | No | "issues", "prs", or "both". | both |
| repo | No | Comma-separated repos. Default "PTOAS,pto-isa". Also pypto, simpler, pypto-lib, alias ptoas, or all. | PTOAS,pto-isa |
| query | Yes | GitHub search query, e.g. "TMOV layout" or "is:issue label:bug". | |
| state | No | "open", "closed", "merged", or "all". merged is pull requests only. | open |
| max_results | No | Maximum hits (1–50) |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||