diff --git a/maintainers/github-teams.json b/maintainers/github-teams.json index 29f5be17af91..e9fd10dbf1de 100644 --- a/maintainers/github-teams.json +++ b/maintainers/github-teams.json @@ -41,6 +41,7 @@ "description": "Maintenance of https://bazel.build/ and related packages", "id": 5468470, "maintainers": { + "Profpatsch": 3153638 }, "members": { "aherrmann": 732652, @@ -128,7 +129,6 @@ "HeitorAugustoLN": 44377258, "Pandapip1": 45835846, "a-kenji": 65275785, - "ahoneybun": 4884946, "drakon64": 6444703, "michaelBelsanti": 62124625, "thefossguy": 44400303 @@ -213,7 +213,6 @@ "fulsomenko": 14945057, "gador": 1883533, "griff": 4368, - "groodt": 343415, "gshpychka": 23005347, "hexagonal-sun": 222664, "heywoodlh": 18178614,