Skip to content

Commit

Permalink
Introduce quarkus-mongock (#224)
Browse files Browse the repository at this point in the history
Introduce quarkus-mongock
  • Loading branch information
gastaldi authored Mar 1, 2024
1 parent 3e86fcf commit 136baa6
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 @@ -73,6 +73,7 @@ terraform-scripts/quarkus-minio.tf @quarkiverse/qua
terraform-scripts/quarkus-mockk.tf @quarkiverse/quarkiverse-mockk
terraform-scripts/quarkus-mockerver.tf @quarkiverse/quarkiverse-mockserver
terraform-scripts/quarkus-moneta.tf @quarkiverse/quarkiverse-moneta
terraform-scripts/quarkus-mongock.tf @quarkiverse/quarkiverse-mongock
terraform-scripts/quarkus-morphia.tf @quarkiverse/quarkiverse-morphia
terraform-scripts/quarkus-mybatis.tf @quarkiverse/quarkiverse-mybatis
terraform-scripts/quarkus-neo4j.tf @quarkiverse/quarkiverse-neo4j
Expand Down
36 changes: 36 additions & 0 deletions terraform-scripts/quarkus-mongock.tf
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
# Create repository
resource "github_repository" "quarkus_mongock" {
name = "quarkus-mongock"
description = "Allows mongock database migrations for MongoDB to be executed during Quarkus startup"
homepage_url = "https://mongock.io/"
allow_update_branch = true
archive_on_destroy = true
delete_branch_on_merge = true
has_issues = true
vulnerability_alerts = true
topics = ["quarkus-extension", "mongock"]
}

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

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

0 comments on commit 136baa6

Please sign in to comment.