From 0f8ef96fa1041214f732fb47782593e72f1f40c2 Mon Sep 17 00:00:00 2001 From: Mathew Polzin Date: Wed, 28 Aug 2024 11:19:10 -0500 Subject: [PATCH] CODEOWNERS: add mattpolzin for idris2Packages --- .github/CODEOWNERS | 1 + 1 file changed, 1 insertion(+) 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