2022-08-23 UTC
# [jgarber] A GitHub Actions workflow runs once a day, grabs that page’s markup, parses out the useful bits, and rebuilds the README.md. The script also fires off requests to a Web-based microformats2 extracting service I wrote (https://micromicro.cc) and stores the resulting JSON in the leaderboard repo (`./data/users/`).