Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Allow filters to be cancelled #1963

Draft
wants to merge 5 commits into
base: master
Choose a base branch
from
Draft

Allow filters to be cancelled #1963

wants to merge 5 commits into from

Conversation

dsblank
Copy link
Member

@dsblank dsblank commented Feb 12, 2025

This PR does the following:

  1. Allows filters to be cancelled
  2. Adds User type hints to filters
  3. Removed if user: because there should always be a user

@Nick-Hall Nick-Hall added this to the v6.1 milestone Feb 12, 2025
@dsblank dsblank marked this pull request as draft February 12, 2025 19:48
@dsblank dsblank self-assigned this Feb 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@dsblank dsblank

Labels
enhancement
Projects
None yet
Milestone
v6.1
Development

Successfully merging this pull request may close these issues.
2 participants
@dsblank @Nick-Hall