veryroundbird.house
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": ["pull"],
13 "properties": {
14 "pull": {
15 "type": "string",
16 "format": "at-uri"
17 },
18 "status": {
19 "type": "string",
20 "description": "status of the pull request",
21 "knownValues": [
22 "sh.tangled.repo.pull.status.open",
23 "sh.tangled.repo.pull.status.closed",
24 "sh.tangled.repo.pull.status.merged"
25 ],
26 "default": "sh.tangled.repo.pull.status.open"
27 }
28 }
29 }
30 }
31 }
32}