This repository has no description
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 "createdAt"
16 ],
17 "properties": {
18 "pull": {
19 "type": "string",
20 "format": "at-uri"
21 },
22 "createdAt": {
23 "type": "string",
24 "format": "datetime"
25 },
26 "status": {
27 "type": "string",
28 "description": "status of the pull request",
29 "knownValues": [
30 "sh.tangled.repo.pull.status.open",
31 "sh.tangled.repo.pull.status.closed",
32 "sh.tangled.repo.pull.status.merged"
33 ],
34 "default": "sh.tangled.repo.pull.status.open"
35 }
36 }
37 }
38 }
39 }
40}