From edfaeb37fa841c498f5ee58d4b5529b52a559cca Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Thu, 18 Aug 2022 11:23:45 +0200 Subject: [PATCH] add CODEOWNERS for stdpp and iris package directories --- .github/CODEOWNERS | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 .github/CODEOWNERS 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