Skip to content

Remove redis - #120

Merged
sagikazarmark merged 1 commit into
masterfrom
remove-redis
Sep 26, 2019
Merged

Remove redis#120
sagikazarmark merged 1 commit into
masterfrom
remove-redis

Conversation

@sagikazarmark

Copy link
Copy Markdown
Owner

Removing redis because it's not actively used. This PR will be linked in the readme, and eventually redis could be added back or added to a wiki or a mga snippets repo (or mga code generation).

@sagikazarmark
sagikazarmark merged commit d4cab19 into master Sep 26, 2019
@sagikazarmark
sagikazarmark deleted the remove-redis branch September 26, 2019 21:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant