From df07a9b7f009b802e10358118a349f9e68c63edb Mon Sep 17 00:00:00 2001
From: Christopher Creutzig <89011131+ccreutzi@users.noreply.github.com>
Date: Mon, 26 Aug 2024 08:21:52 +0200
Subject: [PATCH] Include user names on second CI server

---
 .github/CODEOWNERS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index cf5aa55..a90df09 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
\ No newline at end of file
+* @adulai @ccreutzi @debymf @MiriamScharnke @vpapanasta @dferreir @mscharnk @vpapanas
\ No newline at end of file