haskellPackages.Agda: add ncfavier as maintainer (#420194)

pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml

@@ -126,8 +126,6 @@ extra-packages:
 
 # keep-sorted start skip_lines=1 case=no
 package-maintainers:
-  abbradar:
-    - Agda
   alexfmpe:
     - aeson-gadt-th
     - android-activity
@@ -377,6 +375,7 @@ package-maintainers:
     - warp-systemd
     - amazonka
   ncfavier:
+    - Agda
     - irc-client
     - lambdabot
     - shake

pkgs/development/haskell-modules/hackage-packages.nix

@@ -1605,8 +1605,8 @@ self: {
       description = "A dependently typed functional programming language and proof assistant";
       license = lib.licenses.mit;
       maintainers = [
-        lib.maintainers.abbradar
         lib.maintainers.iblech
+        lib.maintainers.ncfavier
         lib.maintainers.turion
       ];
     }