It tried it locally just now. Good job so far! It's pretty fast!
Regarding the clients, tools and modules pages, did anyone start working on them?
I discussed with @itamarhaber about how we can show updated info about them and I just want to write it down. The idea to scrape the GitHub API daily to get the number of stars and activity (e.g. last commit or last release date) and to cache these as static JSON files that the browser can fetch and show with only browser-side JavaScript. We'd need a place where github actions can publish these, e.g. a subdirectory of this website or another subdomain of redis.
It tried it locally just now. Good job so far! It's pretty fast!
Regarding the clients, tools and modules pages, did anyone start working on them?
I discussed with @itamarhaber about how we can show updated info about them and I just want to write it down. The idea to scrape the GitHub API daily to get the number of stars and activity (e.g. last commit or last release date) and to cache these as static JSON files that the browser can fetch and show with only browser-side JavaScript. We'd need a place where github actions can publish these, e.g. a subdirectory of this website or another subdomain of redis.