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