From 2c23ba6b048cae21a2c863334be4381ef245b9d7 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 21 Sep 2018 16:06:25 +0200
Subject: Create a team of micromega maintainers

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

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 9009c798f2..267da478d7 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -151,9 +151,8 @@
 /plugins/ltac/          @ppedrot
 # Secondary maintainer @herbelin
 
-/plugins/micromega/    @fajb
-/test-suite/micromega/ @fajb
-# Secondary maintainer @bgregoir
+/plugins/micromega/    @coq/micromega-maintainers
+/test-suite/micromega/ @coq/micromega-maintainers
 
 /plugins/nsatz/         @thery
 # Secondary maintainer @ppedrot
-- 
cgit v1.2.3