README

.github/workflows/update-index.yml

@@ -26,7 +26,7 @@ jobs:
           gh api --paginate repos/leanprover/lean4/releases > releases
           gh api --paginate repos/leanprover/lean4-nightly/releases > releases-nightly
           mkdir output
-          # version 1, all in one file. still needed?
+          # version 1, all in one file.
           jq --compact-output --slurp '
             def preprocess: map(pick(.name, .created_at, (.assets | .[] | .name, .browser_download_url)));
             {version: "1", stable: .[0] | map(select(.prerelease | not)) | preprocess, beta: .[0] | map(select(.prerelease)) | preprocess, nightly: .[1] | preprocess}' \

README.md

@@ -0,0 +1,18 @@
+Lean repository index
+=====================
+
+This repository fills <https://release.lean-lang.org/> with JSON files listing
+the lean releases.
+
+It is updated upon new Lean releases (stable, beta, nightly; but not PR
+releases) using a GitHub Actions `workflow_dispatch` event. If it stopped working maybe the PAT expired? Then create a new one and set a secret on the lean4 repo.
+
+URLs:
+
+* <https://release.lean-lang.org/> lists all releases, grouped by release channel.
+* <https://release.lean-lang.org/stable.json> lists all stable releases.
+* <https://release.lean-lang.org/beta.jon> lists all beta releases.
+* <https://release.lean-lang.org/nightly.jon> lists all nightly releases.
+
+Since there are many nightly releases (about one every night), the
+`stable.json` is noticably smaller and should be used if it suffices.