diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index e138cd66152a..03dce8c124d3 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -254,6 +254,7 @@ pkgs/development/python-modules/buildcatrust/ @ajs124 @lukegb @mweinelt # Idris /pkgs/development/idris-modules @Infinisil +/pkgs/development/compilers/idris2 @mattpolzin # Bazel /pkgs/development/tools/build-managers/bazel @Profpatsch