← Command reference · lean-pkg lease · CLI overview
lean-pkg lease release
release a lease (holder-only unless –force); exporting or adopting a repository is repo export / repo adopt.
Also spelled: lean-pkg release (all aliases).
Usage
lean-pkg lease release [--agent AGENT] [--force] [--reason REASON] [common flags] NAME
[common flags]: --json, --commit, --push, --no-commit, also accepted before the command name; see the CLI overview.
Arguments and flags
| Argument or flag | Description |
|---|---|
NAME |
|
--agent AGENT |
the holder; with –force, the acting agent recorded as released_by |
--force |
release another agent’s lease; requires –reason |
--reason REASON |
free-text reason stored with the event |
Details
| Form | What it does | Key flags |
|---|---|---|
lease release NAME |
release a lease; holder-only unless forced; --force needs --reason; released_by is the acting --agent, else force |
[--agent] [--force --reason TEXT] |
Exporting or adopting a public repository was repo export NAME DIR / --adopt-repo DIR before 1.0; it is repo export / repo adopt now (the old spellings keep working).
JSON output
Top-level keys of --json, as recorded in the golden contract (tests/golden/json-keys.json):
release(exit 0):event,name,ok,released_lease
Examples
Give the lease back when you are done.
lean-pkg lease release my-proof --agent alice
Sample output:
my-proof: lease released (was alice@laptop)