From 55902758ea57d24eab49d1e55c188f211dbcfd8e Mon Sep 17 00:00:00 2001
From: David Leins <dleins@techfak.uni-bielefeld.de>
Date: Sun, 22 Oct 2023 15:04:25 +0200
Subject: [PATCH] gh: make @rhaschke codeowner of gh workflows

---
 .github/CODEOWNERS | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index f750e62..7a8904d 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -1 +1,3 @@
-* @DavidPL1
+* 			@DavidPL1
+
+.github/workflows	@rhaschke @DavidPL1