Skip to content

Conversation

@ViktarStarastsenka
Copy link
Contributor

Please do not merge them for now

Please do not merge them for now
@github-actions
Copy link
Contributor

@dwdougherty dwdougherty added the ri label Aug 26, 2024
Copy link
Collaborator

@dwdougherty dwdougherty left a comment

Choose a reason for hiding this comment

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

Just a few corrections/suggestions.

Co-authored-by: David Dougherty <david.dougherty@redis.com>
@ViktarStarastsenka ViktarStarastsenka self-assigned this Sep 3, 2024
Copy link
Collaborator

@dwdougherty dwdougherty left a comment

Choose a reason for hiding this comment

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

LGTM.

Copy link
Collaborator

@dwdougherty dwdougherty left a comment

Choose a reason for hiding this comment

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

LGTM. Merging...

@dwdougherty dwdougherty merged commit bd7d56b into main Sep 9, 2024
@dwdougherty dwdougherty deleted the ViktarStarastsenka-patch-1 branch September 9, 2024 15:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants