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

Update Redis to Version 5 #194

Merged
merged 1 commit into from
Dec 10, 2019
Merged

Update Redis to Version 5 #194

merged 1 commit into from
Dec 10, 2019

Conversation

cimnine
Copy link
Collaborator

@cimnine cimnine commented Nov 26, 2019

No description provided.

@cimnine cimnine added the maintenance The issue describes a maintenance task, such as upgrading a dependency to a certain version. label Nov 26, 2019
@cimnine cimnine requested a review from tobiasge November 26, 2019 11:17
@cimnine cimnine added this to the 0.16.0 milestone Nov 26, 2019
tobiasge
tobiasge approved these changes Nov 26, 2019
View reviewed changes
Copy link
Member

@tobiasge tobiasge left a comment

Choose a reason for hiding this comment

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

Our production environment has been running with Redis 5 for a while now. So this is fine.

@cimnine cimnine changed the base branch from master to develop December 10, 2019 20:48
@cimnine cimnine merged commit 6a07527 into develop Dec 10, 2019
@cimnine cimnine deleted the update-redis branch December 10, 2019 21:35
@cimnine cimnine mentioned this pull request Dec 21, 2019
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tobiasge tobiasge tobiasge approved these changes

Assignees
No one assigned
Labels
maintenance The issue describes a maintenance task, such as upgrading a dependency to a certain version.
Projects
None yet
Milestone
0.20.0
Development

Successfully merging this pull request may close these issues.
2 participants
@cimnine @tobiasge