Skip to content

Commit

Permalink
[docs]: Fix typos in github_repository_collaborators docs
Browse files Browse the repository at this point in the history
  • Loading branch information
nickfloyd authored Oct 5, 2023
2 parents 28c27a5 + 618e575 commit 680c66e
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions website/docs/r/repository_collaborators.html.markdown
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ resource "github_repository" "some_repo" {
name = "some-repo"
}
resource "github_repository_collaborators" "a_repo_collaborators" {
resource "github_repository_collaborators" "some_repo_collaborators" {
repository = github_repository.some_repo.name
user {
Expand All @@ -65,12 +65,12 @@ resource "github_repository_collaborators" "a_repo_collaborators" {
The following arguments are supported:

* `repository` - (Required) The GitHub repository
* `user` - (Optional) List of uses
* `user` - (Optional) List of users
* `team` - (Optional) List of teams

The `user` block supports:

* `usernames` - (Required) The user to add to the repository as a collaborator.
* `username` - (Required) The user to add to the repository as a collaborator.
* `permission` - (Optional) The permission of the outside collaborators for the repository.
Must be one of `pull`, `push`, `maintain`, `triage` or `admin` or the name of an existing [custom repository role](https://docs.github.com/en/enterprise-cloud@latest/organizations/managing-peoples-access-to-your-organization-with-roles/managing-custom-repository-roles-for-an-organization) within the organization for organization-owned repositories.
Must be `push` for personal repositories. Defaults to `push`.
Expand Down

0 comments on commit 680c66e

Please sign in to comment.