Skip to content
This repository was archived by the owner on Mar 9, 2026. It is now read-only.

Update stars of redismodule-ratelimit + JSON formatting#1583

Closed
linfangrong wants to merge 2 commits into
redis:masterfrom
linfangrong:master
Closed

Update stars of redismodule-ratelimit + JSON formatting#1583
linfangrong wants to merge 2 commits into
redis:masterfrom
linfangrong:master

Conversation

@linfangrong

Copy link
Copy Markdown
Contributor

format

Comment thread modules.json
"linfangrong"
],
"stars": 0
"stars": 19

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

This matches the github stars of the project. Verified.

@zuiderkwast zuiderkwast added the to-be-merged should probably be merged soon label Jun 15, 2021
@madolson

Copy link
Copy Markdown
Contributor

Would prefer to not merge this unless we plan on implementing a checker to validate the format of the various JSON files.

@zuiderkwast

Copy link
Copy Markdown
Contributor

@madolson Do you mean the whitespace changes or the number of stars? I guess it'd possible to check/automate both...

@madolson

madolson commented Jun 17, 2021

Copy link
Copy Markdown
Contributor

@zuiderkwast yes and yes.

@zuiderkwast

Copy link
Copy Markdown
Contributor

For the stars, issue #833 (from 2017) and it's seems to be fixed by this PR #1030 (from 2018). Maybe it still works and can be merged....

@zuiderkwast zuiderkwast removed the to-be-merged should probably be merged soon label Jun 24, 2021
@zuiderkwast

Copy link
Copy Markdown
Contributor

@linfangrong We will try to make the redis.io website update the stars automatically from the GitHub API. I don't think we want to merge only whitespace fixes.

@zuiderkwast zuiderkwast changed the title modules.json Update stars of redismodule-ratelimit + JSON formatting Aug 1, 2021
@itamarhaber

Copy link
Copy Markdown
Member

As @zuiderkwast said, stars are no longer needed here. Closing.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants