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

Ops file to pin capi for now #874

Merged
merged 1 commit into from
Jul 12, 2024
Merged

Ops file to pin capi for now #874

merged 1 commit into from
Jul 12, 2024

Conversation

soutenniza
Copy link
Contributor

Changes proposed in this pull request:

  • We found an issue with valkey being replaced by redis
  • Pin capi and use redis instead

security considerations

None

@soutenniza soutenniza requested a review from a team as a code owner July 12, 2024 13:17
@soutenniza soutenniza merged commit 54c6586 into main Jul 12, 2024
1 check passed
@soutenniza soutenniza deleted the pin-capi branch July 12, 2024 13:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jameshochadel jameshochadel jameshochadel approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@soutenniza @jameshochadel