dev.knotless.redirect
Keyed by the old name. A rename repoints every redirect to the repository at its new name, so each is one hop. A repository created under the name replaces the redirect.
Details · record, key any
| Kind | record |
|---|---|
| Record key | any |
| Authority | knotless.dev |
| Indexed |
Record
record · key anyProperties
The repository under the name it has now.
Reference
Similar lexicons
semantic matchLexicons whose schemas describe something close to this one. Check them before publishing a new one that overlaps.
-
dev.knotless.renameRepo
procedureGives a repository a new name.
-
dev.knotless.ref
recordOne git ref of a repository.
-
dev.knotless.claim
recordThe move of a ref off one generation: its key is the compare-and-swap, its body the reflog entry.
-
dev.knotless.repo
recordA git repository hosted in this account: in its public repo, or, for a private repository, in a dev.knotless.space space keyed by the name.
-
dev.knotless.renameBranch
procedureRenames a branch of a repository.