diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS new file mode 100644 index 0000000000..63cb51128c --- /dev/null +++ b/.github/CODEOWNERS @@ -0,0 +1,16 @@ +# This file associates maintainers with some packages + +########## coq-stdpp ########## + +/released/packages/coq-stdpp/ @RalfJung +/extra-dev/packages/coq-stdpp/ @RalfJung + +########## coq-iris ########## + +/released/packages/coq-iris/ @RalfJung +/extra-dev/packages/coq-iris/ @RalfJung + +########## coq-iris-heap-lang ########## + +/released/packages/coq-iris-heap-lang/ @RalfJung +/extra-dev/packages/coq-iris-heap-lang/ @RalfJung