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.

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

Add star badge of per github repo #1275

Closed
wants to merge 3 commits into from

Conversation

ColinZeb
Copy link

Add a star badge to help someone check quicly

@palfrey
Copy link
Collaborator

palfrey commented May 1, 2022

So I'm really not sure about this one. There's been prior complaints about the load times for the page already, and this automatically adds a chunk to that. Also, it makes adding a new entry more complicated, and those are already fairly inconsistent already. Related to that, the stars should probably be at the end of the entry along with all the other badges.

If you want to talk about this in the context of the wider list reformat issues (see #419 and #479 in particular), that's great, but it'll need a lot more work than just an initial "add all the badges" PR.

@palfrey palfrey closed this May 1, 2022
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.

None yet

2 participants