github-pr-query

# GitHub Pull Request Query Skill Query GitHub pull requests efficiently with built-in jq filtering. ## Important: jq Parameter is Optional The `--jq` parameter is **optional**. Without `--jq`, this skill returns **schema and data size information** instead of full data. Use this to avoid oversized responses and inspect structure before targeted queries. Use `--jq '.'` to get all data, or use a more specific filter for targeted results. ## Usage Use this skill to query pull requests from the current repository or any specified repository. ### Basic Query (Returns Schema Only) To list pull requests from the current repository: ```bash ./query-prs.sh # Returns schema and data size, not full data ``` ### Get All Data To get all PR data: ```bash ./query-prs.sh --jq '.' ``` ### With Repository To query a specific repository: ```bash ./query-prs.sh --repo owner/repo ``` ### With jq Filtering Use the `--jq` argument to filter and transform the output: ```bash # Get only open PRs ./query-prs.sh --jq '.[] | select(.state == "open")' # Get PR numbers and titles ./query-prs.sh --jq '.[] | {number, title}' # Get PRs by a specific author ./query-prs.sh --jq '.[] | select(.author.login == "username")' # Get merged PRs from last week ./query-prs.sh --jq '.[] | select(.mergedAt != null)' # Count PRs by state ./query-prs.sh --jq 'group_by(.state) | map({state: .[0].state, count: length})' ``` ### Common Options - `--state`: Filter by state (open, closed, merged, all). ...