this repo has no description
tangled.org
1{
2 "lexicon": 1,
3 "id": "sh.tangled.git.refUpdate",
4 "defs": {
5 "main": {
6 "type": "record",
7 "description": "An update to a git repository, emitted by knots.",
8 "key": "tid",
9 "record": {
10 "type": "object",
11 "required": [
12 "ref",
13 "committerDid",
14 "repoDid",
15 "repoName",
16 "oldSha",
17 "newSha"
18 ],
19 "properties": {
20 "ref": {
21 "type": "string",
22 "description": "Ref being updated",
23 "maxGraphemes": 256,
24 "maxLength": 2560
25 },
26 "committerDid": {
27 "type": "string",
28 "description": "did of the user that pushed this ref",
29 "format": "did"
30 },
31 "repoDid": {
32 "type": "string",
33 "description": "did of the owner of the repo",
34 "format": "did"
35 },
36 "repoName": {
37 "type": "string",
38 "description": "name of the repo"
39 },
40 "oldSha": {
41 "type": "string",
42 "description": "old SHA of this ref",
43 "minLength": 40,
44 "maxLength": 40
45 },
46 "newSha": {
47 "type": "string",
48 "description": "new SHA of this ref",
49 "minLength": 40,
50 "maxLength": 40
51 }
52 }
53 }
54 }
55 }
56}