diff options
| author | Emilio Jesus Gallego Arias | 2020-04-28 15:30:33 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-28 15:30:33 +0200 |
| commit | 1839b83248ea380f1cecc165d5d9401f9e450784 (patch) | |
| tree | a030cd480b12795ecfad6caf12a17e19025fd7c9 | |
| parent | 25c7e0cb30a7e196a293df9620bc4b801eaafa27 (diff) | |
| parent | c47bc405275010e442402ead0f843014b7dab3c3 (diff) | |
Merge PR #12189: Fix an ordering bug in the CODEOWNERS file following #11529.
Reviewed-by: ejgallego
| -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 |