nel.pet
1{
2 "lexicon": 1,
3 "id": "sh.tangled.repo.pull.status",
4 "needsCbor": true,
5 "needsType": true,
6 "defs": {
7 "main": {
8 "type": "record",
9 "key": "tid",
10 "record": {
11 "type": "object",
12 "required": [
13 "pull",
14 "status"
15 ],
16 "properties": {
17 "pull": {
18 "type": "string",
19 "format": "at-uri"
20 },
21 "status": {
22 "type": "string",
23 "description": "status of the pull request",
24 "knownValues": [
25 "sh.tangled.repo.pull.status.open",
26 "sh.tangled.repo.pull.status.closed",
27 "sh.tangled.repo.pull.status.merged"
28 ],
29 "default": "sh.tangled.repo.pull.status.open"
30 }
31 }
32 }
33 }
34 }
35}