feat(repo): enhance PR discovery with persistent shareable search filters

[carlh7777]

Summary

Adds URL-backed search to the repository PR table with multi-term AND filtering and persistent, shareable query state.

Users

• Search by PR title, PR number, merged date, and optional score-style clauses
• Press Enter to pin multiple terms with AND matching
• Share or reopen the URL to restore the exact filtered view

Product

• Search state persists across refreshes and direct links
• Improves reproducibility and collaboration with shareable filtered views

Engineering

• Centralized filtering/search helpers in src/utils/prTable.ts
• Integrated searchable table UI in RepositoryPRsTable.tsx

Type of Change

• Bug fix
• New feature
• Refactor
• Documentation
• Other (describe below)

Screenshots

Before

---

After

gorec-2026-05-11-05-51-53.webm

Checklist

• New components are modularized/separated where sensible
• Uses predefined theme (e.g. no hardcoded colors)
• Responsive/mobile checked
• Tested against the test API
• npm run format and npm run lint:fix have been run
• npm run build passes
• Screenshots included for any UI/visual changes

[ventura-oss]

Skipping in this review pass — the branch is 13 commits behind test and the diff against current test is far larger than the stated change (28 files, +1406/-1594, vs. the described 2-file search-filter addition). Merging in the current state would silently revert recent fixes including:

• fix(ui): repository watchlist action on miner details Repositories table #1011 (miner-details repositories watchlist action)
• fix(dashboard): use mirror data for issues trend #1001 (dashboard mirror data for issues trend)
• refactor: unify FilterButton and ExplorerFilterButton into single component #990 (unified FilterButton — this PR re-creates the deleted ExplorerFilterButton.tsx)
• fix Watchlist + Onboard: layout shifts, scroll-to-top, and sticky-tab… #899 (Watchlist/Onboard layout/sticky fixes)
• fix(dashboard): position donut tooltips next to cursor and prevent edge clipping #1008, refactor: replace infinite scroll with pagination on tablet screens #992, fix(bounty-sidebar): restrict completion rate denominator to terminal bounties #1007, fix(bounties): cap top hunters submissions fan-out and forward query signal #1004, refactor: route GitHub API calls through a shared useGithubQuery hook #960, feat(repositories): polish page for mobile - controls, chart #951, refactor: wrap miner stat tiles at lg (1200px) using shared STAT_COL … #839, fix: language weights table - sticky header & row count column #813, Fix miner OSS vs Issue Discovery radar avg repo weight and repository rollups #791

Please rebase onto current origin/test so the diff reflects only the PR-table search/filter feature, and we'll re-review.

[carlh7777]

Hi @ventura-oss

Rebased onto the latest origin/test and force-pushed the branch. The PR diff should now be limited to the PR-table search/filter changes only.

[anderdc]

fix conflicts

[carlh7777]

Hi @anderdc fixed conflicts