{"command":{"effect":"read","timeoutSeconds":30,"inputSchema":{"type":"object","description":"For organization-owned repositories, the list of collaborators includes outside collaborators, organization members that are direct collaborators, organization members with access through team memberships, organization members with access through default organization permissions, and organization owners.\n\nTeam members will include the members of child teams.\n\nThe authenticated user must have push access to the repository to use this endpoint.\n\nOAuth app tokens and personal access tokens (classic) need the `read:org` and `repo` scopes to use this endpoint.","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."},"username":{"type":"string","description":"The handle for the GitHub user account."}},"required":["owner","repo","username"],"additionalProperties":false}},"required":["path"],"additionalProperties":false},"name":"Check if a user is a repository collaborator","id":"github.repos.check-collaborator","example":{"path":{"owner":"octocat","repo":"hello-world","username":"example"}},"maxRequests":1,"summary":false}}