Now let's take a silly one
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 "format": "record-key",
26 "description": "Rkey of the repository record"
27 },
28 "force": {
29 "type": "boolean",
30 "description": "Admin-only. Delete even though the repository record still exists on the owner's PDS."
31 }
32 }
33 }
34 }
35 }
36 }
37}