Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
807 B · 35 lines
JSON
123456789101112131415161718192021222324252627282930313233343536{ "lexicon": 1, "id": "sh.tangled.repo.pull.status", "needsCbor": true, "needsType": true, "defs": { "main": { "type": "record", "key": "tid", "record": { "type": "object", "required": [ "pull", "status" ], "properties": { "pull": { "type": "string", "format": "at-uri" }, "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" } } } } }}