From 2fc568a2661907eb6139ec7224fafb8f433aae2b Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 25 Mar 2019 16:32:40 +0100
Subject: Move code ownership of reals library to new maintainer team.

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

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index f802040a1d..06a733be45 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -240,8 +240,7 @@ azure-pipelines.yml @coq/ci-maintainers
 
 /theories/QArith/         @herbelin
 
-/theories/Reals/          @silene
-# Secondary maintainer @ppedrot
+/theories/Reals/          @coq/reals-library-maintainers
 
 /theories/Relations/      @mattam82
 # Secondary maintainer @ppedrot
-- 
cgit v1.2.3