reposRemoveCollaborator

Remove a repository collaborator

Details

Method: DELETE
Path: /repos/{owner}/{repo}/collaborators/{username}
Operation ID: repos/remove-collaborator

Parameters

{
  "owner": {
    "description": "The account owner of the repository. The name is not case sensitive.",
    "required": true,
    "location": "path",
    "type": "string"
  },
  "repo": {
    "description": "The name of the repository without the `.git` extension. The name is not case sensitive.",
    "required": true,
    "location": "path",
    "type": "string"
  },
  "username": {
    "description": "The handle for the GitHub user account.",
    "required": true,
    "location": "path",
    "type": "string"
  }
}

Usage

from ocp_agent import OCPAgent

agent = OCPAgent()
await agent.register_api('github')

# Call this tool
result = await agent.call_tool('reposRemoveCollaborator', {
    # Add required parameters here
})

reposRemoveAppAccessRestrictions reposRemoveStatusCheckContexts