Skip to content

Commit

Permalink
chore: team changes, move Hidde to community-committer
Browse files Browse the repository at this point in the history
  • Loading branch information
Robbert authored and matijs committed Jan 16, 2025
1 parent 200cc51 commit 685c263
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 8 deletions.
5 changes: 5 additions & 0 deletions documentatie.tf
Original file line number Diff line number Diff line change
Expand Up @@ -125,6 +125,11 @@ resource "github_repository_collaborators" "documentatie" {
permission = "triage"
team_id = github_team.kernteam-dependabot.slug
}

team {
permission = "push"
team_id = "community-committer"
}
}

resource "github_repository_webhook" "documentatie" {
Expand Down
13 changes: 5 additions & 8 deletions team-members.tf
Original file line number Diff line number Diff line change
Expand Up @@ -150,10 +150,6 @@ resource "github_team_members" "kernteam-triage" {
username = data.github_user.rianrietveld.username
}

members {
username = data.github_user.RenateNLDS.username
}

members {
username = data.github_user.Astrid-01.username
}
Expand All @@ -162,10 +158,6 @@ resource "github_team_members" "kernteam-triage" {
username = data.github_user.Rozerinay.username
}

members {
username = data.github_user.wartburggraaf.username
}

members {
username = data.github_user.emma-koole.username
}
Expand Down Expand Up @@ -718,4 +710,9 @@ resource "github_team_members" "community-committer" {
members {
username = data.github_user.Ollie-nl.username
}

# Kernteam alumni
members {
username = data.github_user.hidde.username
}
}

0 comments on commit 685c263

Please sign in to comment.