diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/CODEOWNERS | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index e819d451fd551..17b830e5fad0e 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -113,3 +113,7 @@ /nixos/modules/services/databases/postgresql.xml @thoughtpolice /nixos/modules/services/databases/postgresql.nix @thoughtpolice /nixos/tests/postgresql.nix @thoughtpolice + +# Dhall +/pkgs/development/dhall-modules @Gabriel439 @Profpatsch +/pkgs/development/interpreters/dhall @Gabriel439 @Profpatsch |