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

Support latest redis-server commands. #394

Open
laixintao opened this issue Jul 7, 2021 · 7 comments · Fixed by #405
Open

Support latest redis-server commands. #394

laixintao opened this issue Jul 7, 2021 · 7 comments · Fixed by #405

Comments

@laixintao
Copy link
Owner

laixintao commented Jul 7, 2021 •
edited
Loading

current work progress:

redis/redis-doc@32ae8d3...5739d44#diff-1b67c587a1e3cd259a83610a34d5b7f57e9702605608178aac699085891c07e9R364

compare with iredis/data/commands.json

though it was already behind after redis-doc/commands.json again.

latest work:

git show 60dd4ba0cdc003ba7767c7e15e727cabc801489d -- iredis/data/commands.json
@laixintao laixintao mentioned this issue Jul 7, 2021
Merged
@laixintao
Copy link
Owner Author

git diff 32ae8d3dc3921f90d31de3714a220180a212b6d4...5739d443a31a151009c -- commands.json

@laixintao
Copy link
Owner Author

git show 60dd4ba0cdc003ba7767c7e15e727cabc801489d -- iredis/data/commands.json

@laixintao laixintao mentioned this issue Nov 16, 2021
Merged
@laixintao
Copy link
Owner Author

iredis/data/commands.json:1031
COPY Command

@laixintao laixintao reopened this Jun 22, 2022
@laixintao
Copy link
Owner Author

@ iredis/data/commands.json:1166 @

@laixintao laixintao mentioned this issue Jun 22, 2022
Merged
@laixintao laixintao pinned this issue Jun 23, 2022
@laixintao laixintao mentioned this issue Jun 23, 2022
Merged
@laixintao
Copy link
Owner Author

iredis/data/commands.json:1695

@laixintao laixintao mentioned this issue Jun 25, 2022
Merged
@laixintao
Copy link
Owner Author

next:
@ iredis/data/commands.json:2063 @

@laixintao
Copy link
Owner Author

@ iredis/data/commands.json:2492 @

@laixintao laixintao mentioned this issue Jun 26, 2022
Merged
@laixintao laixintao unpinned this issue Aug 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

support more redis-server commands. laixintao/iredis
1 participant
@laixintao