diff options
author | Emery Hemingway <ehmry@posteo.net> | 2021-01-15 19:11:41 +0100 |
---|---|---|
committer | Emery Hemingway <ehmry@posteo.net> | 2021-01-15 19:14:58 +0100 |
commit | df69951fc4b69c4211e67a21f0e1d334286cb661 (patch) | |
tree | d3a9c485360a1e2b4e652de1c28ac3ec46829c57 /.github | |
parent | 135742a84512c88a10cd0711c255cd94480d3405 (diff) |
CODEOWNERS: add ehmry to Dhall packages
Diffstat (limited to '.github')
-rw-r--r-- | .github/CODEOWNERS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 093239566ce3..8491532ee387 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -158,8 +158,8 @@ /nixos/modules/services/networking/ntp @thoughtpolice # Dhall -/pkgs/development/dhall-modules @Gabriel439 @Profpatsch -/pkgs/development/interpreters/dhall @Gabriel439 @Profpatsch +/pkgs/development/dhall-modules @Gabriel439 @Profpatsch @ehmry +/pkgs/development/interpreters/dhall @Gabriel439 @Profpatsch @ehmry # Idris /pkgs/development/idris-modules @Infinisil |