Skip to content

Commit

Permalink
Introduce quarkus-pdfbox (#202)
Browse files Browse the repository at this point in the history
  • Loading branch information
gastaldi authored Jan 10, 2024
1 parent da92c22 commit 95a6484
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 @@ -83,6 +83,7 @@ terraform-scripts/quarkus-opensearch.tf @quarkiverse/qua
terraform-scripts/quarkus-opentelemetry-exporter.tf @quarkiverse/quarkiverse-opentelemetry-exporter
terraform-scripts/quarkus-operator-sdk.tf @quarkiverse/quarkiverse-operator-sdk
terraform-scripts/quarkus-pact.tf @quarkiverse/quarkiverse-pact
terraform-scripts/quarkus-pdfbox.tf @quarkiverse/quarkiverse-pdfbox
terraform-scripts/quarkus-pinot.tf @quarkiverse/quarkiverse-pinot
terraform-scripts/quarkus-playwright.tf @quarkiverse/quarkiverse-playwright
terraform-scripts/quarkus-poi.tf @quarkiverse/quarkiverse-poi
Expand Down
36 changes: 36 additions & 0 deletions terraform-scripts/quarkus-pdfbox.tf
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
# Create repository
resource "github_repository" "quarkus_pdfbox" {
name = "quarkus-pdfbox"
description = "An open source Java tool for working with PDF documents"
homepage_url = "https://https://pdfbox.apache.org/"
allow_update_branch = true
archive_on_destroy = true
delete_branch_on_merge = true
has_issues = true
vulnerability_alerts = true
topics = ["quarkus-extension", "pdf", "pdfbox", "apache"]
}

# Create team
resource "github_team" "quarkus_pdfbox" {
name = "quarkiverse-pdfbox"
description = "pdfbox 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_pdfbox" {
team_id = github_team.quarkus_pdfbox.id
repository = github_repository.quarkus_pdfbox.name
permission = "maintain"
}

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

0 comments on commit 95a6484

Please sign in to comment.