{"command":{"effect":"write","timeoutSeconds":30,"inputSchema":{"type":"object","description":"Deploy keys are immutable. If you need to update a key, remove the key and create a new one instead.","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."},"key_id":{"type":"integer","description":"The unique identifier of the key."}},"required":["owner","repo","key_id"],"additionalProperties":false}},"required":["path"],"additionalProperties":false},"name":"Delete a deploy key","id":"github.repos.delete-deploy-key","example":{"path":{"owner":"octocat","repo":"hello-world","key_id":1}},"maxRequests":1,"summary":false}}