diff options
| author | Théo Zimmermann | 2020-04-27 18:00:57 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-27 18:00:57 +0200 |
| commit | c47bc405275010e442402ead0f843014b7dab3c3 (patch) | |
| tree | e37ebed5d45ef25b92f26cd57754941c8fd07f7e | |
| parent | e0d7b05789d7c6d341d3001c227d99a278743fd1 (diff) | |
Fix an ordering bug in the CODEOWNERS file following #11529.
| -rw-r--r-- | .github/CODEOWNERS | 20 |
1 files 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 |