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.
3.2 kB · 147 lines
JSON
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148{ "lexicon": 1, "id": "sh.tangled.repo.pull", "needsCbor": true, "needsType": true, "defs": { "main": { "type": "record", "key": "tid", "record": { "type": "object", "required": [ "target", "title", "createdAt", "rounds", "versions" ], "properties": { "title": { "type": "string" }, "body": { "type": "string" }, "rounds": { "type": "array", "description": "DEPRECATED: always empty", "items": { "type": "ref", "ref": "#round" } }, "versions": { "type": "array", "items": { "type": "ref", "ref": "#version" } }, "source": { "type": "ref", "ref": "#source" }, "target": { "type": "ref", "ref": "#target" }, "createdAt": { "type": "string", "format": "datetime" }, "mentions": { "type": "array", "items": { "type": "string", "format": "did" } }, "references": { "type": "array", "items": { "type": "string", "format": "at-uri" } }, "dependentOn": { "type": "string", "format": "at-uri" } } } }, "target": { "type": "object", "required": [ "repo", "branch" ], "properties": { "repo": { "type": "string", "format": "did" }, "branch": { "type": "string" } } }, "source": { "type": "object", "required": [ "branch" ], "properties": { "branch": { "type": "string" }, "repo": { "type": "string", "format": "did" } } }, "round": { "type": "object", "required": [ "patchBlob", "createdAt" ], "description": "DEPRECATED: revisions of this pull request, newer rounds are appended to this array. appviews may reject records do not treat this field as append-only. the blob format is gzipped text-based git-format-patches.", "properties": { "createdAt": { "type": "string", "format": "datetime" }, "patchBlob": { "type": "blob", "accept": [ "application/gzip" ] } } }, "version": { "type": "object", "required": [ "head", "createdAt" ], "properties": { "createdAt": { "type": "string", "format": "datetime" }, "base": { "type": "string", "description": "merge-base commit ID for combined interdiff" }, "head": { "type": "string", "description": "HEAD commit ID" } } } }}