From db76376ee34ed7653d8012ed22fbc4340499439a Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 10 Sep 2019 03:02:40 +0200
Subject: Switch maintenance of `ring` to a team

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

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 698452cb2b..6c7b7a9a1c 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -161,8 +161,7 @@ azure-pipelines.yml @coq/ci-maintainers
 /plugins/nsatz/         @thery
 # Secondary maintainer @ppedrot
 
-/plugins/setoid_ring/   @amahboubi
-# Secondary maintainer @bgregoir
+/plugins/setoid_ring/   @coq/ring-maintainers
 
 /plugins/ssrmatching/  @coq/ssreflect-maintainers
 /plugins/ssr/          @coq/ssreflect-maintainers
-- 
cgit v1.2.3