Github Search Issues Prs
github_search_issues_prsSearch GitHub issues and pull requests with custom queries and qualifiers to find open, closed, or merged items by text, label, or repository.
Instructions
Searches issues and pull requests by text and qualifiers. Unlike github_list_open_issues_prs the query is the caller's, so closed and merged items are reachable and any qualifier GitHub search accepts works. GitHub runs a lexical search when search_type is absent, so the default sends none. Semantic and hybrid cover issues alone, and GitHub falls back to lexical for a query that can reach a PR.
Workflow and conventions: github_get_skill('issue-management').
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| page | No | ||
| query | Yes | Terms and qualifiers, e.g. 'rate limit repo:owner/name is:closed label:bug' | |
| per_page | No | Number of results per page (1-100) | |
| search_type | No | lexical matches words. semantic and hybrid match issues by meaning and need is:issue in the query | lexical |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||