Skip to content

Conversation

@hntrl
Copy link
Member

@hntrl hntrl commented Oct 17, 2025

No description provided.

@changeset-bot
Copy link

changeset-bot bot commented Oct 17, 2025

⚠️ No Changeset found

Latest commit: 49d38a9

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@tishun
Copy link

tishun commented Oct 18, 2025

Hey @hntrl ,

The Redis team was in the late stages for a PR for advanced filtering, but in the same time a similar solution was submitted with #8963. If we release the latter there might be some (unnecessary) changes to the API contract that our PR suggests.

Would it be reasonable to wait before releasing until we submit our PR on monday so you can consider if it should also be merged?

@hntrl
Copy link
Member Author

hntrl commented Oct 20, 2025

Hey @tishun! All packages were already released on Friday, but we're happy to merge in any changes after the fact

@tishun
Copy link

tishun commented Oct 20, 2025

Hey @tishun! All packages were already released on Friday, but we're happy to merge in any changes after the fact

Oh, I see. I've prepared #9240, let me know if I can help you review it. Thanks!

@hntrl hntrl merged commit 822db85 into main Oct 20, 2025
107 checks passed
@hntrl hntrl deleted the release branch October 20, 2025 18:25
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.

3 participants