refactor: Switch to GitHub Search Issues API for PR queries#145

Merged

ghinks merged 1 commit intomainfrom

feat/efficient-pr-metadata-query

Oct 21, 2025

Commits on Oct 19, 2025

refactor: Switch to GitHub Search Issues API for PR queries

ghinks
and
claude
committed