nel.pet
Signed-off-by: nelind nel.n.lindberg@gmail.com
-50
lexicons/pulls/pull.json
-50
lexicons/pulls/pull.json
···
12
12
"required": [
13
13
"target",
14
14
"title",
15
-
"patch",
16
15
"createdAt"
17
16
],
18
17
"properties": {
···
26
25
"body": {
27
26
"type": "string"
28
27
},
29
-
"patch": {
30
-
"type": "string"
31
-
},
32
-
"stackInfo": {
33
-
"type": "ref",
34
-
"ref": "#stackInfo"
35
-
},
36
-
"source": {
37
-
"type": "ref",
38
-
"ref": "#source"
39
-
},
40
28
"createdAt": {
41
29
"type": "string",
42
30
"format": "datetime"
···
59
47
"type": "string"
60
48
}
61
49
}
62
-
},
63
-
"source": {
64
-
"type": "object",
65
-
"required": [
66
-
"branch",
67
-
"sha"
68
-
],
69
-
"properties": {
70
-
"branch": {
71
-
"type": "string"
72
-
},
73
-
"sha": {
74
-
"type": "string",
75
-
"minLength": 40,
76
-
"maxLength": 40
77
-
},
78
-
"repo": {
79
-
"type": "string",
80
-
"format": "at-uri"
81
-
}
82
-
}
83
-
},
84
-
"stackInfo": {
85
-
"type": "object",
86
-
"required": [
87
-
"changeId"
88
-
],
89
-
"properties": {
90
-
"changeId": {
91
-
"type": "string",
92
-
"description": "Change ID of this commit/change."
93
-
},
94
-
"parent": {
95
-
"type": "string",
96
-
"description": "AT-URI of the PR for the parent commit/change in the change stack.",
97
-
"format": "at-uri"
98
-
}
99
-
}
100
50
}
101
51
}
102
52
}
+96
lexicons/pulls/round.json
+96
lexicons/pulls/round.json
···
1
+
{
2
+
"lexicon": 1,
3
+
"id": "sh.tangled.repo.pull.round",
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
+
"patch",
15
+
"sourceInfo",
16
+
"createdAt"
17
+
],
18
+
"properties": {
19
+
"pull": {
20
+
"type": "string",
21
+
"format": "at-uri"
22
+
},
23
+
"patch": {
24
+
"type": "string",
25
+
"description": "A patch describing this change. Either gotten directly from the user (patch-based PR) or from the knot based on a commit from another repo. The source of the patch and it's potential details are described by sourceInfo"
26
+
},
27
+
"sourceInfo": {
28
+
"type": "union",
29
+
"refs": [
30
+
"#patchSourceInfo",
31
+
"#commitSourceInfo"
32
+
]
33
+
},
34
+
"stackInfo": {
35
+
"type": "ref",
36
+
"ref": "#stackInfo"
37
+
},
38
+
"comment": {
39
+
"type": "string"
40
+
},
41
+
"prevRound": {
42
+
"type": "ref",
43
+
"ref": "com.atproto.repo.strongRef"
44
+
},
45
+
"createdAt": {
46
+
"type": "string",
47
+
"format": "datetime"
48
+
}
49
+
}
50
+
}
51
+
},
52
+
"patchSourceInfo": {
53
+
"type": "object",
54
+
"properties": {}
55
+
},
56
+
"commitSourceInfo": {
57
+
"type": "object",
58
+
"required": [
59
+
"repo",
60
+
"branch",
61
+
"sha"
62
+
],
63
+
"properties": {
64
+
"repo": {
65
+
"type": "string",
66
+
"format": "uri"
67
+
},
68
+
"branch": {
69
+
"type": "string"
70
+
},
71
+
"sha": {
72
+
"type": "string",
73
+
"minLength": 40,
74
+
"maxLength": 40
75
+
}
76
+
}
77
+
},
78
+
"stackInfo": {
79
+
"type": "object",
80
+
"required": [
81
+
"changeId"
82
+
],
83
+
"properties": {
84
+
"changeId": {
85
+
"type": "string",
86
+
"description": "Change ID of this commit/change."
87
+
},
88
+
"parent": {
89
+
"type": "string",
90
+
"description": "AT-URI of the PR for the parent commit/change in the change stack.",
91
+
"format": "at-uri"
92
+
}
93
+
}
94
+
}
95
+
}
96
+
}