Skip to content

Add description of WITHSCORE argument to ZRANK and ZREVRANK.#2227

Merged
zuiderkwast merged 3 commits intoredis:masterfrom
CharlesChen888:update-zrank-withscore
Jan 24, 2023
Merged

Add description of WITHSCORE argument to ZRANK and ZREVRANK.#2227
zuiderkwast merged 3 commits intoredis:masterfrom
CharlesChen888:update-zrank-withscore

Conversation

@CharlesChen888
Copy link
Contributor

For PR redis/redis#11235, which adds the WITHSCORE option to command ZRANK and ZREVRANK.
Add description of option WITHSCORE argument to zrank.md and zrevrank.md.
Modify commands.json.

@netlify
Copy link

netlify bot commented Nov 28, 2022

Deploy Preview for redis-doc ready!

Name Link
🔨 Latest commit c774243
🔍 Latest deploy log https://app.netlify.com/sites/redis-doc/deploys/639413189b0d260008d4a47d
😎 Deploy Preview https://deploy-preview-2227--redis-doc.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site settings.

@oranagra oranagra added the to-be-merged should probably be merged soon label Nov 30, 2022
Copy link
Member

@oranagra oranagra left a comment

Choose a reason for hiding this comment

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

LGTM.

technically, json file changes aren't needed (the file is auto generated).
merging them may cause some issues (although more likely just be overwritten).

@itamarhaber correct me if i'm wrong, but merging it will immediately appear in redis.io, so not sure what's the proffered approach these days.

@itamarhaber
Copy link
Member

Also LGTM.

technically, json file changes aren't needed (the file is auto generated).

They are only needed if we want the new syntax to be shown. I assume that @CharlesChen888 generated commands.json using the standard script (https://github.com/redis/redis/blob/unstable/utils/generate-commands-json.py) and that this is just the diff.

correct me if i'm wrong

You're not wrong or put differently, you're totally correct. I don't see a big issue with that, but this is apt to anger some users who won't notice the version note (and the breaking example until we release 7.2-rc1 as well).

@CharlesChen888
Copy link
Contributor Author

technically, json file changes aren't needed (the file is auto generated).

Oh... I didn't realize this.

@zuiderkwast zuiderkwast merged commit 00af521 into redis:master Jan 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

to-be-merged should probably be merged soon

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants