From cca54c53b4324e0b4630ba9da2d48a117252cece Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 22 Nov 2018 13:56:24 +0100
Subject: New code owner team ssreflect-maintainers.

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

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 802c1da221..511c2b47d8 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -166,12 +166,9 @@
 /plugins/setoid_ring/   @amahboubi
 # Secondary maintainer @bgregoir
 
-/plugins/ssrmatching/   @gares
-# Secondary maintainer @maximedenes
-
-/plugins/ssr/          @gares
-/test-suite/ssr/       @gares
-# Secondary maintainer @maximedenes
+/plugins/ssrmatching/  @coq/ssreflect-maintainers
+/plugins/ssr/          @coq/ssreflect-maintainers
+/test-suite/ssr/       @coq/ssreflect-maintainers
 
 /plugins/syntax/        @ppedrot
 # Secondary maintainer @maximedenes
-- 
cgit v1.2.3