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

Rename redis by valkey everwhere #8249

Open
1 task
Khoyo opened this issue Jul 30, 2024 · 0 comments · May be fixed by #9274
Open
1 task

Rename redis by valkey everwhere #8249

Khoyo opened this issue Jul 30, 2024 · 0 comments · May be fixed by #9274
Assignees
@EthanPERRUZZA
Labels
difficulty:good first issue Good for newcomers kind:refacto-task Task related to Refactorization Epic

Comments

@Khoyo
Copy link
Contributor

Khoyo commented Jul 30, 2024 •
edited
Loading

Description and goal

We've switched from redis to valkey, but we keep calling it redis. We should stop doing that

Acceptance criteria

$ git grep -i redis
$
  • Redis is replaced by valkey everywhere
@Khoyo Khoyo added the difficulty:good first issue Good for newcomers label Jul 30, 2024
@Khoyo Khoyo changed the title Rename valkey by redis everwhere Rename redis by valkey everwhere Aug 19, 2024
@clarani clarani added the kind:refacto-task Task related to Refactorization Epic label Sep 17, 2024
@EthanPERRUZZA EthanPERRUZZA linked a pull request Oct 9, 2024 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@EthanPERRUZZA EthanPERRUZZA

Labels
difficulty:good first issue Good for newcomers kind:refacto-task Task related to Refactorization Epic
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

chore: rename redis by valkey OpenRailAssociation/osrd
3 participants
@Khoyo @clarani @EthanPERRUZZA