add.repository.collaborator: add a user to the list of collaborators of a repo
Description
add a user to the list of collaborators of a repo
Usage
add.repository.collaborator(owner, repo, user, ctx = get.github.context())
Arguments
owner
the repo owner (user, org, etc)
user
the name of the user to add
ctx
the github context object