← Command reference · CLI overview

lean-pkg repo

the package’s checkout: move (relocate the record), export (a new single-commit public repository), adopt (an existing one).

Usage

lean-pkg repo [--json] COMMAND

Subcommands

• lean-pkg repo move: relocate: point the record at another checkout, keeping name, history and claims (the same as update NAME --path PATH)
• lean-pkg repo export: export the gate-bound commit’s tree (or –from-tree SRCDIR) as a NEW single-commit repository at DIR, then move the package there (release NAME --fresh-repo DIR is the same)
• lean-pkg repo adopt: adopt the existing repository at DIR as the public history, then move the package there (release NAME --adopt-repo DIR is the same)

Exit codes

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