Name | Version |
---|---|
github | >= 6.2.2 |
Name | Version |
---|---|
local | 2.5.2 |
null | 3.2.3 |
Name | Source | Version |
---|---|---|
internal_github_actions | HappyPathway/repo/github | n/a |
Name | Type |
---|---|
local_file.script | resource |
null_resource.git_import | resource |
Name | Description | Type | Default | Required |
---|---|---|---|---|
force | n/a | bool |
false |
no |
github_org_teams | The GitHub organization teams to add to the repository | list(any) |
[] |
no |
github_repo_topics | n/a | list(string) |
n/a | yes |
internal_repo | The internal GitHub repository to create | object({ name = string org = string topics = optional(list(string), []) collaborators = optional(map(string), {}) admin_teams = optional(list(string), []) }) | n/a | yes |
public_repo | The public GitHub repository to import | object({ clone_url = string default_branch = string }) | n/a | yes |
vulnerability_alerts | Enable GitHub vulnerability alerts | bool |
true |
no |
Name | Description |
---|---|
internal_repo | n/a |