From 31d0ba99849b96914379aaf4f79a81c0142bc211 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 6 Nov 2018 16:07:36 +0100
Subject: All dune files are owned by dune code owners.

---
 .github/CODEOWNERS | 17 +++++++----------
 1 file changed, 7 insertions(+), 10 deletions(-)

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 512a9c99eb..13e6029255 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -274,16 +274,6 @@
 
 /theories/Vectors/        @herbelin
 
-########## Dune  ##########
-
-/.ocamlinit            @ejgallego
-/Makefile.dune         @ejgallego
-/tools/coq_dune*       @ejgallego
-/dune*                 @ejgallego
-/coq.opam              @ejgallego
-/ide/coqide.opam       @ejgallego
-# Secondary maintainer @Zimmi48
-
 ########## Tools ##########
 
 /tools/coqdoc/         @silene
@@ -358,3 +348,10 @@
 /dev/tools/update-compat.py @JasonGross
 /test-suite/tools/update-compat/ @JasonGross
 # Secondary maintainer @Zimmi48
+
+########## Dune  ##########
+
+/.ocamlinit            @ejgallego
+*dune*                 @ejgallego
+*.opam                 @ejgallego
+# Secondary maintainer @Zimmi48
-- 
cgit v1.2.3