Skip to content

Commit

Permalink
Add Terraform configuration for provisioning the "quarkus-mcp-servers…
Browse files Browse the repository at this point in the history
…" GitHub repository and associated team
  • Loading branch information
gastaldi committed Jan 22, 2025
1 parent 1867470 commit 81c649c
Show file tree
Hide file tree
Showing 2 changed files with 36 additions and 0 deletions.
1 change: 1 addition & 0 deletions .github/CODEOWNERS
Original file line number Diff line number Diff line change
Expand Up @@ -82,6 +82,7 @@ terraform-scripts/quarkus-lucene.tf @quarkiverse/qua
terraform-scripts/quarkus-mailpit.tf @quarkiverse/quarkiverse-mailpit
terraform-scripts/quarkus-maven-resolver.tf @quarkiverse/quarkiverse-maven-resolver
terraform-scripts/quarkus-mcp-server.tf @quarkiverse/quarkiverse-mcp-server
terraform-scripts/quarkus-mcp-servers.tf @quarkiverse/quarkiverse-mcp-servers
terraform-scripts/quarkus-mdns.tf @quarkiverse/quarkiverse-mdns
terraform-scripts/quarkus-mfa.tf @quarkiverse/quarkiverse-mfa
terraform-scripts/quarkus-micrometer-registry.tf @quarkiverse/quarkiverse-micrometer-registry
Expand Down
35 changes: 35 additions & 0 deletions terraform-scripts/quarkus-mcp-servers.tf
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
# Create repository
resource "github_repository" "quarkus_mcp_servers" {
name = "quarkus-mcp-servers"
description = "Model Context Protocol Servers in Quarkus"
allow_update_branch = true
archive_on_destroy = true
delete_branch_on_merge = true
has_issues = true
vulnerability_alerts = true
topics = ["mcp"]
}

# Create team
resource "github_team" "quarkus_mcp_servers" {
name = "quarkiverse-mcp-servers"
description = "mcp-servers 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_mcp_servers" {
team_id = github_team.quarkus_mcp_servers.id
repository = github_repository.quarkus_mcp_servers.name
permission = "maintain"
}

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

0 comments on commit 81c649c

Please sign in to comment.