diff options
| -rw-r--r-- | .github/CODEOWNERS | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 44d22fb5225d..734f0d562d0f 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -8,14 +8,11 @@ # Mentioned users will get code review requests. # Boostraping and core infra -pkgs/stdenv/ @Ericson2314 -pkgs/build-support/cc-wrapper/ @Ericson2314 +pkgs/stdenv/ @edolstra +pkgs/build-support/cc-wrapper/ @edolstra # Libraries -lib/ @Profpatsch - -# Build-Support -pkgs/build-support @Profpatsch +lib/ @edolstra # Python-related code and docs pkgs/top-level/python-packages.nix @FRidh |