Skip to content

Commit

Permalink
Introduce quarkus-antora (#230)
Browse files Browse the repository at this point in the history
  • Loading branch information
gastaldi authored Apr 2, 2024
1 parent 23a4562 commit 53aa0d7
Show file tree
Hide file tree
Showing 2 changed files with 37 additions and 0 deletions.
1 change: 1 addition & 0 deletions .github/CODEOWNERS
Validating CODEOWNERS rules …
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@ terraform-scripts/main.tf @quarkiverse/qua
terraform-scripts/quarkus-amazon-alexa.tf @quarkiverse/quarkiverse-amazon-alexa
terraform-scripts/quarkus-amazon-services.tf @quarkiverse/quarkiverse-amazon-services
terraform-scripts/quarkus-antivirus.tf @quarkiverse/quarkiverse-antivirus
terraform-scripts/quarkus-antora.tf @quarkiverse/quarkiverse-antora
terraform-scripts/quarkus-angus-mail.tf @quarkiverse/quarkiverse-angus-mail
terraform-scripts/quarkus-apistax.tf @quarkiverse/quarkiverse-apistax
terraform-scripts/quarkus-arangodb-client.tf @quarkiverse/quarkiverse-arangodb-client
Expand Down
36 changes: 36 additions & 0 deletions terraform-scripts/quarkus-antora.tf
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
# Create repository
resource "github_repository" "quarkus_antora" {
name = "quarkus-antora"
description = "Build and serve Antora documentation site"
homepage_url = "https://docs.quarkiverse.io/quarkus-antora/dev/"
allow_update_branch = true
archive_on_destroy = true
delete_branch_on_merge = true
has_issues = true
vulnerability_alerts = true
topics = ["quarkus-extension", "antora", "documentation"]
}

# Create team
resource "github_team" "quarkus_antora" {
name = "quarkiverse-antora"
description = "antora team"
create_default_maintainer = false
privacy = "closed"
parent_team_id = data.github_team.quarkiverse_members.id
}

# Add team to repository
resource "github_team_repository" "quarkus_antora" {
team_id = github_team.quarkus_antora.id
repository = github_repository.quarkus_antora.name
permission = "maintain"
}

# Add users to the team
resource "github_team_membership" "quarkus_antora" {
for_each = { for tm in ["ppalaga"] : tm => tm }
team_id = github_team.quarkus_antora.id
username = each.value
role = "maintainer"
}

0 comments on commit 53aa0d7

Please sign in to comment.