diff options
| author | Théo Zimmermann | 2018-11-06 16:07:36 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-11-22 13:53:26 +0100 |
| commit | 31d0ba99849b96914379aaf4f79a81c0142bc211 (patch) | |
| tree | 9385ae9c41a7ede5f0742ddd59d903bfbb9ad076 /.github | |
| parent | 2d0be200ab9a2e3a0ff7b383078aabe70f24dd82 (diff) | |
All dune files are owned by dune code owners.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/CODEOWNERS | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 512a9c99eb..13e6029255 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -274,16 +274,6 @@ /theories/Vectors/ @herbelin -########## Dune ########## - -/.ocamlinit @ejgallego -/Makefile.dune @ejgallego -/tools/coq_dune* @ejgallego -/dune* @ejgallego -/coq.opam @ejgallego -/ide/coqide.opam @ejgallego -# Secondary maintainer @Zimmi48 - ########## Tools ########## /tools/coqdoc/ @silene @@ -358,3 +348,10 @@ /dev/tools/update-compat.py @JasonGross /test-suite/tools/update-compat/ @JasonGross # Secondary maintainer @Zimmi48 + +########## Dune ########## + +/.ocamlinit @ejgallego +*dune* @ejgallego +*.opam @ejgallego +# Secondary maintainer @Zimmi48 |