Skip to content

fix(miners): case-insensitive joins for review_summary and repos#224

Open
marktech0813 wants to merge 1 commit into
entrius:testfrom
marktech0813:fix/183-case-insensitive-joins-v2
Open

fix(miners): case-insensitive joins for review_summary and repos#224
marktech0813 wants to merge 1 commit into
entrius:testfrom
marktech0813:fix/183-case-insensitive-joins-v2

Conversation

@marktech0813

Copy link
Copy Markdown

Summary

Window joins use `LOWER(p.repo_full_name)`, but `pr_review_summary` / `repos` used exact-case equality, so mixed-case rows returned empty review summary / null default_branch.

Join both with `LOWER(...)` on both sides.

Closes #183

Supersedes #222 (closed: PR cap + wrong base).

Test plan

  • Both pull query sites updated

Made with Cursor

Co-authored-by: Cursor <cursoragent@cursor.com>
@xiao-xiao-mao xiao-xiao-mao Bot added the bug Something isn't working label Jul 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[bug] miners API: getPullRequestsByRepo joins miss review_summary for mixed-case repos

1 participant