Github Search Issues Prs
github_search_issues_prsSearch GitHub issues and pull requests using custom queries and qualifiers, including closed and merged items. Use filters like repo, label, and is:closed to find specific results.
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.
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) |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||