github (version 0.9.8)

delete.repository.collaborator: delete a user from the list of collaborators of a repo

Description

delete a user from the list of collaborators of a repo

Usage

delete.repository.collaborator(owner, repo, user, ctx = get.github.context())

Arguments

owner

the repo owner (user, org, etc)

repo

the name of the repo

user

the name of the user to delete

ctx

the github context object

Value

none