From 9e7977e9c61ecbd64c1debaaefdd60ab2f362e5e Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 7 Sep 2018 11:43:50 +0200
Subject: Move to a team of code owners for the Nix files.

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

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 274a0001b1..2d2a61cb9e 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -21,8 +21,7 @@
 /dev/ci/*.bat          @maximedenes
 # Secondary maintainer @SkySkimmer
 
-/default.nix     @Zimmi48
-# Secondary maintainer @vbgl
+*.nix             @coq/nix-maintainers
 
 ########## Documentation ##########
 
-- 
cgit v1.2.3