gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

CODEOWNERS: add mattpolzin for idris2Packages (#337967)

Browse Source
This commit is contained in:
Fabián Heredia Montiel
2024-09-01 19:51:30 -06:00
committed by GitHub
parent 49d2d0ec9a 0f8ef96fa1
commit ae612969f4
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/CODEOWNERS
+1
View File
@@ -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