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