Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
JSON
1234567891011121314151617181920212223242526272829303132333435363738394041{ "lexicon": 1, "id": "sh.tangled.repo.pull.status", "needsCbor": true, "needsType": true, "defs": { "main": { "type": "record", "key": "tid", "record": { "type": "object", "required": [ "pull", "status", "createdAt" ], "properties": { "pull": { "type": "string", "format": "at-uri" }, "createdAt": { "type": "string", "format": "datetime" }, "status": { "type": "string", "description": "status of the pull request", "knownValues": [ "sh.tangled.repo.pull.status.open", "sh.tangled.repo.pull.status.closed", "sh.tangled.repo.pull.status.merged" ], "default": "sh.tangled.repo.pull.status.open" } } } } }}