github_repository_collaborator

Provides a GitHub repository collaborator resource.

This resource allows you to add/remove collaborators from repositories in your organization. Collaborators can have explicit (and differing levels of) read, write, or administrator access to specific repositories in your organization, without giving the user full organization membership.

When applied, an invitation will be sent to the user to become a collaborator on a repository. When destroyed, either the invitation will be cancelled or the collaborator will be removed from the repository.

Further documentation on GitHub collaborators:

Example Usage

# Add a collaborator to a repository
resource "github_repository_collaborator" "a_repo_collaborator" {
    repository = "our-cool-repo"
    username = "SomeUser"
    permission = "admin"
}

Argument Reference

The following arguments are supported:

  • repository - (Required) The GitHub repository
  • username - (Required) The user to add to the repository as a collaborator.
  • permission - (Optional) The permission of the outside collaborator for the repository.
          Must be one of `pull`, `push`, or `admin`. Defaults to `push`.