lean-pkg index

the public catalog: add | check | render | migrate.

Usage

lean-pkg index [common flags] [COMMAND]

[common flags]: --json, --commit, --push, --no-commit, also accepted before the command name; see the CLI overview.

lean-pkg index add: write <index>/<name>/entry.yaml from a clone at the pin
lean-pkg index check: static check, or re-derive entries from bytes at the pin; exit 0/1/2
lean-pkg index render: write the Markdown table (default <index>/README.md)
lean-pkg index migrate: rewrite index-entry/1 entries as index-entry/2 (claims derived)

0 success (dry runs and no-ops included), 1 refused or failed, 2 usage error; see Exit codes.