From a914fd48e8407e71558246388aeced44ffad4fa0 Mon Sep 17 00:00:00 2001 From: Christopher Creutzig Date: Tue, 3 Sep 2024 14:13:22 +0200 Subject: [PATCH] Welcome to the team, Enrico! (#3) And remove the github.com names at the same time. INTERNAL Co-authored-by: Christopher Creutzig <89011131+ccreutzi@users.noreply.github.com> --- .github/CODEOWNERS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index a90df09..44a1f85 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -1,4 +1,4 @@ # Code owners, to get auto-filled reviewer lists # To start with, we just assume everyone in the core team is included on all reviews -* @adulai @ccreutzi @debymf @MiriamScharnke @vpapanasta @dferreir @mscharnk @vpapanas \ No newline at end of file +* @adulai @ccreutzi @dferreir @mscharnk @vpapanas @emanuzzi