Skip to content

Conversation

enjoy-binbin
Copy link
Contributor

@enjoy-binbin enjoy-binbin commented Mar 13, 2024

Copy link

netlify bot commented Mar 13, 2024

👷 Deploy request for redis-doc pending review.

Visit the deploys page to approve it

Name Link
🔨 Latest commit f5a5791

@oranagra oranagra added the to-be-merged should probably be merged soon label Mar 13, 2024
Co-authored-by: Oran Agra <[email protected]>
Copy link
Contributor

@zuiderkwast zuiderkwast left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great. I had written some draft comments but they were very similar to Oran's suggestions which are already resolved.

Co-authored-by: Viktor Söderqvist <[email protected]>
@zuiderkwast zuiderkwast merged commit 7dbeb33 into redis:master Mar 14, 2024
@enjoy-binbin enjoy-binbin deleted the info_evicted_scripts branch March 15, 2024 00:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
to-be-merged should probably be merged soon
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants