This repository was archived by the owner on Sep 20, 2026. It is now read-only.

Add GitHub stars to the index - #3

Merged

compscidr merged 3 commits into

mainfrom

Sep 18, 2026

Commits on Sep 18, 2026

Add GitHub stars to the index

compscidr
and
claude
committed
7ac0aef
Make stars best-effort and rename RepoInfo to RepoStars

compscidr
and
claude
committed
ffc0bca
Restore the stars fake comment

compscidr
and
claude
committed
9b00429