add CODEOWNERS for stdpp and iris package directories

coq · Aug 18, 2022 · edfaeb3 · edfaeb3
1 parent fe08c35
commit edfaeb3
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/CODEOWNERS 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