Merge pull request #2258 from palmskog/codeowners-iris-stdpp

add CODEOWNERS for stdpp and iris package directories
coq · Aug 18, 2022 · e20eaa9 · e20eaa9
2 parents fe08c35 + edfaeb3
commit e20eaa9
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