sanin.dev
1{
2 "lexicon": 1,
3 "id": "sh.tangled.repo.pull",
4 "needsCbor": true,
5 "needsType": true,
6 "defs": {
7 "main": {
8 "type": "record",
9 "key": "tid",
10 "record": {
11 "type": "object",
12 "required": ["targetRepo", "targetBranch", "pullId", "title", "patch"],
13 "properties": {
14 "targetRepo": {
15 "type": "string",
16 "format": "at-uri"
17 },
18 "targetBranch": {
19 "type": "string"
20 },
21 "sourceRepo": {
22 "type": "string",
23 "format": "at-uri"
24 },
25 "pullId": {
26 "type": "integer"
27 },
28 "title": {
29 "type": "string"
30 },
31 "body": {
32 "type": "string"
33 },
34 "createdAt": {
35 "type": "string",
36 "format": "datetime"
37 },
38 "patch": {
39 "type": "string"
40 }
41 }
42 }
43 }
44 }
45}