De github_team_members resource "kernteam-dependabot" verwijderen

[matijs]

TL;DR

GitHub gaat op 27 mei 2025 de support voor Dependabot reviewers stoppen. Het is de bedoeling om over te stappen op het gebruik van een .github/CODEOWNERS file. Zie deze blogpost

ToDo

• Verwijder:
  

  terraform/team-members.tf

  Lines 184 to 196 in d6b7867

  	resource "github_team_members" "kernteam-dependabot" {
  	team_id = github_team.kernteam-dependabot.id
  	members {
  	username = data.github_user.Robbert.username
  	# organization owners must be "maintainer", see note at https://registry.terraform.io/providers/integrations/github/latest/docs/resources/team_members
  	role = "maintainer"
  	}
  	members {
  	username = data.github_user.matijs.username
  	}
  	}

• Verwijder alle verwijzingen hiernaar

In de repositories waar we dat nog niet gedaan hebben zullen we .github/CODEONWERS files aan moeten maken zodat Dependabot/GitHub automatisch om reviews gaat vragen van eigenaren van aangepaste code.

[Yolijn]

Ik verwacht dat dit nog nodig is, maar fijn om even te dubbel-checken welke repositories nog geen CODEOWNER files gebruiken

[richadr]

Removing the reviewer from the dependabot files:

• ci: in dependabot, group GitHub Actions updates together rvo#1517
• ci: in dependabot, group GitHub Actions updates together #582
• ci: remove kernteam-dependabot reviewer from dependabot icons#127
• ci: in dependabot, group GitHub Actions updates together tilburg#320
• ci: in dependabot, group GitHub Actions updates together hall-of-fame#68
• ci: in dependabot, group GitHub Actions updates together themes#1367
• ci: in dependabot, group GitHub Actions updates together utrecht#3070
• ci: in dependabot, group GitHub Actions updates together rotterdam#518

Should probably merge these first before merging #583