From 53aa0d7fc67570fd3b4348ed20d4636fb7dda422 Mon Sep 17 00:00:00 2001 From: George Gastaldi Date: Tue, 2 Apr 2024 08:57:00 -0300 Subject: [PATCH] Introduce `quarkus-antora` (#230) --- .github/CODEOWNERS | 1 + terraform-scripts/quarkus-antora.tf | 36 +++++++++++++++++++++++++++++ 2 files changed, 37 insertions(+) create mode 100644 terraform-scripts/quarkus-antora.tf diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 7ade2fc..908c43e 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -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 diff --git a/terraform-scripts/quarkus-antora.tf b/terraform-scripts/quarkus-antora.tf new file mode 100644 index 0000000..805da2c --- /dev/null +++ b/terraform-scripts/quarkus-antora.tf @@ -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" +}