Skip to content

Support grouping, AND, OR and NOT filters#283

Merged
nikku merged 10 commits intomainfrom
OR-filter
Apr 26, 2026
Merged

Support grouping, AND, OR and NOT filters#283
nikku merged 10 commits intomainfrom
OR-filter

Conversation

@nikku
Copy link
Copy Markdown
Owner

@nikku nikku commented Apr 26, 2026

Which issue does this PR address?

Allows users to filter as they'd be able to do it on GitHub.

Supersedes #282

@nikku nikku mentioned this pull request Apr 26, 2026
@nikku nikku merged commit be657ad into main Apr 26, 2026
4 checks passed
@nikku nikku deleted the OR-filter branch April 26, 2026 13:11
@nikku
Copy link
Copy Markdown
Owner Author

nikku commented Apr 26, 2026

Released via v0.71.0

@barmac
Copy link
Copy Markdown
Contributor

barmac commented Apr 26, 2026

Exceptional work 🎖️

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.

2 participants