Skip to content

Scope command palette search to user's own PRs and issues#67

Merged
stylessh merged 2 commits intomainfrom
stylessh/cmd-palette-own-repos
Apr 11, 2026
Merged

Scope command palette search to user's own PRs and issues#67
stylessh merged 2 commits intomainfrom
stylessh/cmd-palette-own-repos

Conversation

@stylessh
Copy link
Copy Markdown
Owner

Summary

  • Replace global GitHub search with user-scoped involves:${login} queries, reducing API calls from 4 to 2 and avoiding rate limits
  • Fix merged PRs showing red closed icon by extracting pull_request.merged_at from search API results
  • Search result items now navigate to detail pages (opening tabs) instead of being inert, and merge into the pulls.mine/issues.mine query cache so subsequent searches don't re-fetch

Test plan

  • Open command palette, type 2+ chars — verify only user-involved PRs/issues appear
  • Confirm merged PRs show purple merge icon, not red closed icon
  • Select a search result PR/issue — verify it navigates to detail page and opens a tab
  • Re-open palette and verify previously searched items appear as cached local items

Replace global GitHub search with user-scoped queries using
involves:${login}, reducing API calls from 4 to 2. Fix merged PRs
showing closed icon by extracting pull_request.merged_at from search
results. Search items now navigate to detail pages and cache results
into pulls.mine/issues.mine for subsequent lookups.
@cloudflare-workers-and-pages
Copy link
Copy Markdown

cloudflare-workers-and-pages Bot commented Apr 11, 2026

Deploying with  Cloudflare Workers  Cloudflare Workers

The latest updates on your project. Learn more about integrating Git with Workers.

Status Name Latest Commit Preview URL Updated (UTC)
✅ Deployment successful!
View logs
diffkit 126b09d Commit Preview URL

Branch Preview URL
Apr 11 2026, 04:59 PM

@stylessh stylessh merged commit 1e7b63a into main Apr 11, 2026
4 checks passed
@stylessh stylessh deleted the stylessh/cmd-palette-own-repos branch April 11, 2026 17:23
stylessh added a commit that referenced this pull request Apr 18, 2026
Replace global GitHub search with user-scoped queries using
involves:${login}, reducing API calls from 4 to 2. Fix merged PRs
showing closed icon by extracting pull_request.merged_at from search
results. Search items now navigate to detail pages and cache results
into pulls.mine/issues.mine for subsequent lookups.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant