Skip to content

Add pull request label filtering#89

Draft
areibman wants to merge 1 commit intomasterfrom
cursor/add-pull-request-label-filtering-e00d
Draft

Add pull request label filtering#89
areibman wants to merge 1 commit intomasterfrom
cursor/add-pull-request-label-filtering-e00d

Conversation

@areibman
Copy link
Owner

@areibman areibman commented Sep 30, 2025

Add label filtering to pull requests to enable quick navigation and organization of PRs by their categories and statuses.

This PR introduces a comprehensive label filter with multi-select capabilities, various logic options (OR, AND, NOT, ONLY), and an option to include PRs without labels. The filter state persists across sessions, and label counts are displayed dynamically to enhance workflow efficiency.


Open in Cursor Open in Web

Fixes #32

Co-authored-by: meta.alex.r <meta.alex.r@gmail.com>
@cursor
Copy link

cursor bot commented Sep 30, 2025

Cursor Agent can help with this pull request. Just @cursor in comments and I'll start working on changes in this branch.
Learn more about Cursor Agents

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.

Bug: Enable native Electron find-in-page (Cmd/Ctrl+F) functionality

2 participants