From e6c4729f886e4eea943217601576236984c16130 Mon Sep 17 00:00:00 2001
From: Fotis Koutoulakis <fotis.koutoulakis@diffblue.com>
Date: Mon, 18 Dec 2023 11:19:05 +0000
Subject: [PATCH] Add Michael and Peter to Repository CI codeowners.

It would be good to have more codeowners so it's not bottlenecked
by the Diffblue open source team.
---
 CODEOWNERS | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CODEOWNERS b/CODEOWNERS
index c2ba81fc93a..9b5fdd7532d 100644
--- a/CODEOWNERS
+++ b/CODEOWNERS
@@ -83,5 +83,5 @@ CHANGELOG      @diffblue/diffblue-opensource
 /scripts/ @diffblue/diffblue-opensource
 
 # CI pipeline is the responsibility of the Open Source maintenance team at Diffblue.
-/.github/ @diffblue/diffblue-opensource
-src/config.inc @diffblue/diffblue-opensource
+/.github/ @diffblue/diffblue-opensource @peterschrammel @tautschnig
+src/config.inc @diffblue/diffblue-opensource @peterschrammel @tautschnig