Delete a repository collaborator.
Usage
remove_collaborator(owner, repo, username)
Arguments
- owner
Name of the repository owner.
- repo
Name of the repository.
- username
Name of the user.
References
<https://developer.github.com/v3/repos/collaborators/#remove-user-as-a-collaborator>