Skip to content

Add GitHub stars badges to all 47 entries with repos#10

Merged
mnusurov merged 1 commit into
mainfrom
feat/github-stars-badges
Jun 16, 2026
Merged

Add GitHub stars badges to all 47 entries with repos#10
mnusurov merged 1 commit into
mainfrom
feat/github-stars-badges

Conversation

@mnusurov

Copy link
Copy Markdown
Collaborator

Summary

Closes #9.

Add clickable shields.io GitHub stars badges to all 47 readme.md entries that have an associated GitHub repository.

Changes

  • 19 non-GitHub-linked entries (docs, websites, etc.) — badge appended linking to GitHub repo
  • 28 GitHub-direct entries — badge appended alongside existing GitHub link
  • 5 entries with no GitHub repo — no badge (Tenderly, Certora, Olympix, SolidityScan, EEA EthTrust)
  • contributing.md — added badge format rule under Proper Formatting

Badge format

[![Stars](https://img.shields.io/github/stars/OWNER/REPO?style=social)](https://github.com/OWNER/REPO)

Verification

  • All 47 badge repos verified against actual GitHub URLs
  • No duplicates, no broken repo references

@mnusurov mnusurov force-pushed the feat/github-stars-badges branch 6 times, most recently from 53a8228 to 187392d Compare June 16, 2026 12:40
@mnusurov mnusurov force-pushed the feat/github-stars-badges branch from 187392d to e81e919 Compare June 16, 2026 12:41
@mnusurov mnusurov merged commit 447ef1a into main Jun 16, 2026
1 check passed
@mnusurov mnusurov deleted the feat/github-stars-badges branch June 16, 2026 12:44
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.

Add GitHub stars badges to all entries with GitHub repos

1 participant