Something went wrong. Try again.
archive of tangled.org/core repository used for seeding localinfra. tangled.org/tangled.org/core
Something went wrong. Try again.
1.4 kB · 73 lines
JSON
at commit e47737da
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374{ "lexicon": 1, "id": "sh.tangled.repo.pull", "needsCbor": true, "needsType": true, "defs": { "main": { "type": "record", "key": "tid", "record": { "type": "object", "required": [ "targetRepo", "targetBranch", "pullId", "title", "patch", "createdAt" ], "properties": { "targetRepo": { "type": "string", "format": "at-uri" }, "targetBranch": { "type": "string" }, "pullId": { "type": "integer" }, "title": { "type": "string" }, "body": { "type": "string" }, "patch": { "type": "string" }, "source": { "type": "ref", "ref": "#source" }, "createdAt": { "type": "string", "format": "datetime" } } } }, "source": { "type": "object", "required": [ "branch", "sha" ], "properties": { "branch": { "type": "string" }, "sha": { "type": "string", "minLength": 40, "maxLength": 40 }, "repo": { "type": "string", "format": "at-uri" } } } }}