diff --git a/website/docs/r/repository_collaborators.html.markdown b/website/docs/r/repository_collaborators.html.markdown index 24b71d059a..24cd38485e 100644 --- a/website/docs/r/repository_collaborators.html.markdown +++ b/website/docs/r/repository_collaborators.html.markdown @@ -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 { @@ -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`.