From 8d9739f20a4fec2194fda525ed2cca8d4be297ed Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 26 Apr 2018 13:05:55 +0200
Subject: [owners] Makefile.ci belongs to the CI category.

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

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 7f3ee5c37..329697ca4 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -302,6 +302,9 @@
 /dev/build/windows @MSoegtropIMC
 # Secondary maintainer @maximedenes
 
+# This file belongs to CI
+Makefile.ci       @ejgallego
+# Secondary maintainer @SkySkimmer
 
 ########## Developer tools ##########
 
-- 
cgit v1.2.3