dev.knotless.deleteRepo
Deletes the repository's dev.knotless.repo record and everything keyed by it (refs, claims, packs, releases, reruns), and, unless another account has taken it up, what its owner wrote about it (their pulls, issues, comments, states, labels, hides, queue entries, blocks, star, and reactions to those), as `knotless repo delete` does; for a private one, its space. What others wrote stays in their accounts. It cannot be undone. Only its owner, logged in to this appview's web pages, can: the appview writes with the session it keeps for that account, which the pages' session cookie names.
Details · procedure
| Kind | procedure |
|---|---|
| Authority | knotless.dev |
| Indexed |
Procedure
procedure · POSTInput
application/jsonThe repository's dev.knotless.repo record, as dev.knotless.getRepo takes it.
Output
application/jsonThe record deleted.
Errors
NotFound
No such repository.
AuthenticationRequired
No account is logged in to the pages, or its session has ended.
Forbidden
The account logged in is not the repository's owner.
Similar lexicons
semantic matchLexicons whose schemas describe something close to this one. Check them before publishing a new one that overlaps.
-
org.tangled.repo.deleteRepo
procedureDelete a repository
-
dev.knotless.unstarRepo
procedureTakes a star back as the account logged in to this appview's pages.
-
dev.knotless.deleteComment
procedureTakes back a comment or review, as its author, logged in to this appview's pages.
-
dev.knotless.deleteBranch
procedureDeletes a branch of a repository.
-
dev.knotless.removeLabel
procedureTakes a label away from a repository.