From c47bc405275010e442402ead0f843014b7dab3c3 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 27 Apr 2020 18:00:57 +0200
Subject: Fix an ordering bug in the CODEOWNERS file following #11529.

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

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 4a126c4e5a..8dbdf43e52 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -118,7 +118,15 @@
 /gramlib/         @coq/parsing-maintainers
 /parsing/         @coq/parsing-maintainers
 
-########## Plugins ##########
+########## Standard library and plugins ##########
+
+/theories/         @coq/stdlib-maintainers
+
+/theories/Classes/ @coq/typeclasses-maintainers
+
+/theories/Reals/   @coq/reals-library-maintainers
+
+/theories/Compat/  @coq/compat-maintainers
 
 /plugins/btauto/       @coq/btauto-maintainers
 /theories/btauto/      @coq/btauto-maintainers
@@ -195,16 +203,6 @@
 /tactics/class_tactics.* @coq/typeclasses-maintainers
 /test-suite/typeclasses/ @coq/typeclasses-maintainers
 
-########## Standard library ##########
-
-/theories/         @coq/stdlib-maintainers
-
-/theories/Classes/ @coq/typeclasses-maintainers
-
-/theories/Reals/   @coq/reals-library-maintainers
-
-/theories/Compat/  @coq/compat-maintainers
-
 ########## Tools ##########
 
 /tools/coqdoc/            @coq/coqdoc-maintainers
-- 
cgit v1.2.3