summary refs log tree commit diff
path: root/maintainers/maintainer-list.nix
diff options
context:
space:
mode:
authorajs124 <ajs124@users.noreply.github.com>2021-07-13 23:22:28 +0200
committerGitHub <noreply@github.com>2021-07-13 23:22:28 +0200
commit8a053eaecbc81666bcd7226bc1b064940c7020b8 (patch)
tree403218df00c201ed2090aebb90f3b2b8114016ee /maintainers/maintainer-list.nix
parent8087d9f14eb7a3e0453ccaa7003f53e719a94e0d (diff)
parent55a60de2ac030418c75104a9a77d31e788978d2d (diff)
downloadnixpkgs-8a053eaecbc81666bcd7226bc1b064940c7020b8.tar
nixpkgs-8a053eaecbc81666bcd7226bc1b064940c7020b8.tar.gz
nixpkgs-8a053eaecbc81666bcd7226bc1b064940c7020b8.tar.bz2
nixpkgs-8a053eaecbc81666bcd7226bc1b064940c7020b8.tar.lz
nixpkgs-8a053eaecbc81666bcd7226bc1b064940c7020b8.tar.xz
nixpkgs-8a053eaecbc81666bcd7226bc1b064940c7020b8.tar.zst
nixpkgs-8a053eaecbc81666bcd7226bc1b064940c7020b8.zip
Merge pull request #130123 from va1entin/remove_maintainer_va1entin
remove va1entin as maintainer
Diffstat (limited to 'maintainers/maintainer-list.nix')
-rw-r--r--maintainers/maintainer-list.nix6
1 files changed, 0 insertions, 6 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index defe8bf6a92..0af6605267e 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -10970,12 +10970,6 @@
     github = "deviant";
     githubId = 68829907;
   };
-  va1entin = {
-    email = "github@valentinsblog.com";
-    github = "va1entin";
-    githubId = 31535155;
-    name = "Valentin Heidelberger";
-  };
   vaibhavsagar = {
     email = "vaibhavsagar@gmail.com";
     github = "vaibhavsagar";