We already display the stars of the repositories on the page. For GitHub repositories, they are retrieved via the GitHub API.
With a quick and dirty solution, the stars for non-GitHub repositories were written hard into the code. There are only a handful of repositories outside of GitHub, but we should do this properly.
We already display the stars of the repositories on the page. For GitHub repositories, they are retrieved via the GitHub API.
With a quick and dirty solution, the stars for non-GitHub repositories were written hard into the code. There are only a handful of repositories outside of GitHub, but we should do this properly.