Skip to content

Conversation

dvora-h
Copy link
Collaborator

@dvora-h dvora-h commented Sep 19, 2023

Pull Request check-list

Please make sure to review and check all of these items:

  • Do tests and lints pass with this change?
  • Do the CI tests pass with this change (enable it first in your forked repo and wait for the github action build to finish)?
  • Is the new or changed code fully tested?
  • Is a documentation update included (if this change modifies existing APIs, or introduces new ones)?
  • Is there an example added to the examples folder (if applicable)?
  • Was the change added to CHANGES file?

NOTE: these things are not required to open a PR and can be done
afterwards / while the PR is open.

Description of change

closes #2888

@dvora-h dvora-h added the feature New feature label Sep 19, 2023
@dvora-h dvora-h requested a review from a team September 19, 2023 11:43
@dvora-h dvora-h merged commit 6207641 into redis:master Sep 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature New feature

2 participants