From fee86c002f214021336f13a2a982336898b126bd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yoann=20Rodi=C3=A8re?= Date: Tue, 29 Oct 2024 15:04:42 +0100 Subject: [PATCH] Transfer maintenance of quarkus-hibernate-search-extras to Marko Bekhta (#305) * Transfer maintenance of quarkus-hibernate-search-extras to Marko Bekhta @marko-bekhta took over the lead of Hibernate Search: https://github.com/hibernate/hibernate-search/graphs/contributors?from=28%2F10%2F2023 And frequently contributes to Quarkus core as well: https://github.com/quarkusio/quarkus/pulls?q=is%3Apr+author%3Amarko-bekhta * Apply suggestions from code review --------- Co-authored-by: George Gastaldi --- terraform-scripts/quarkus-hibernate-search-extras.tf | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/terraform-scripts/quarkus-hibernate-search-extras.tf b/terraform-scripts/quarkus-hibernate-search-extras.tf index f102364..7f33b8e 100644 --- a/terraform-scripts/quarkus-hibernate-search-extras.tf +++ b/terraform-scripts/quarkus-hibernate-search-extras.tf @@ -27,12 +27,20 @@ resource "github_team_repository" "quarkus_hibernate_search_extras" { # Add users to the team resource "github_team_membership" "quarkus_hibernate_search_extras" { - for_each = { for tm in ["yrodiere"] : tm => tm } + for_each = { for tm in ["marko-bekhta"] : tm => tm } team_id = github_team.quarkus_hibernate_search_extras.id username = each.value role = "maintainer" } +# Add outside collaborators to the repository +resource "github_repository_collaborator" "quarkus_hibernate_search_extras" { + for_each = { for tm in ["yrodiere"] : tm => tm } + repository = github_repository.quarkus_hibernate_search_extras.name + username = each.value + permission = "push" +} + # Enable apps in repository resource "github_app_installation_repository" "quarkus_hibernate_search_extras" { for_each = { for app in [local.applications.lgtm] : app => app }