← Command reference · lean-pkg repo · CLI overview
lean-pkg repo move
relocate: point the record at another checkout, keeping name, history and claims (the same as update NAME --path PATH).
Usage
lean-pkg repo move [--reason REASON] [--agent AGENT] [--force] [--dry-run]
[common flags] NAME HOME-RELATIVE
[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 |
|
HOME-RELATIVE |
the new checkout (event relocated; commit-bound evidence not bound to the new HEAD is cleared) |
--reason REASON |
required |
--agent AGENT |
lease holder, if one is live |
--force |
override a live lease held by another agent; needs –reason |
--dry-run |
print the would-be changes, write nothing |