1{
2 "lexicon": 1,
3 "id": "sh.tangled.repo.delete",
4 "defs": {
5 "main": {
6 "type": "procedure",
7 "description": "Delete a repository",
8 "input": {
9 "encoding": "application/json",
10 "schema": {
11 "type": "object",
12 "required": ["did", "name", "rkey"],
13 "properties": {
14 "did": {
15 "type": "string",
16 "format": "did",
17 "description": "DID of the repository owner"
18 },
19 "name": {
20 "type": "string",
21 "description": "Name of the repository to delete"
22 },
23 "rkey": {
24 "type": "string",
25 "description": "Rkey of the repository record"
26 }
27 }
28 }
29 }
30 }
31 }
32}