{"command":{"effect":"write","timeoutSeconds":30,"inputSchema":{"type":"object","description":"Users with push access to the repository can delete a release.","properties":{"path":{"type":"object","properties":{"owner":{"type":"string","description":"The account owner of the repository. The name is not case sensitive."},"repo":{"type":"string","description":"The name of the repository without the `.git` extension. The name is not case sensitive."},"release_id":{"type":"integer","description":"The unique identifier of the release."}},"required":["owner","repo","release_id"],"additionalProperties":false}},"required":["path"],"additionalProperties":false},"name":"Delete a release","id":"github.repos.delete-release","example":{"path":{"owner":"octocat","repo":"hello-world","release_id":1}},"maxRequests":1,"summary":false}}