this repo has no description
tangled.org
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": [
13 "targetRepo",
14 "targetBranch",
15 "title",
16 "patch",
17 "createdAt"
18 ],
19 "properties": {
20 "targetRepo": {
21 "type": "string",
22 "format": "at-uri"
23 },
24 "targetBranch": {
25 "type": "string"
26 },
27 "title": {
28 "type": "string"
29 },
30 "body": {
31 "type": "string"
32 },
33 "patch": {
34 "type": "string"
35 },
36 "source": {
37 "type": "ref",
38 "ref": "#source"
39 },
40 "createdAt": {
41 "type": "string",
42 "format": "datetime"
43 }
44 }
45 }
46 },
47 "source": {
48 "type": "object",
49 "required": [
50 "branch",
51 "sha"
52 ],
53 "properties": {
54 "branch": {
55 "type": "string"
56 },
57 "sha": {
58 "type": "string",
59 "minLength": 40,
60 "maxLength": 40
61 },
62 "repo": {
63 "type": "string",
64 "format": "at-uri"
65 }
66 }
67 }
68 }
69}