summary refs log tree commit diff
path: root/maintainers
diff options
context:
space:
mode:
authoremilylange <git@emilylange.de>2023-06-04 16:26:28 +0200
committeremilylange <git@emilylange.de>2023-06-04 16:26:28 +0200
commit4bffe265372dc372bcb2f9540bacb9c3e6429ad4 (patch)
treed075b720a319c90318faa2a9052a7b63b1148ef2 /maintainers
parent3788de53f963ee6f0c8815dd47e7eca2b72edc92 (diff)
maintainers: remove gordias
as their GitHub account appears to be deleted
Diffstat (limited to 'maintainers')
-rw-r--r--maintainers/maintainer-list.nix9
1 files changed, 0 insertions, 9 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index d0eb9a6bebc7b..787525c1cd328 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -5885,15 +5885,6 @@
     githubId = 1621335;
     name = "Andrew Trachenko";
   };
-  gordias = {
-    name = "Gordias";
-    email = "gordias@disroot.org";
-    github = "gordiasdot";
-    githubId = 94724133;
-    keys = [{
-      fingerprint = "C006 B8A0 0618 F3B6 E0E4  2ECD 5D47 2848 30FA A4FA";
-    }];
-  };
   gotcha = {
     email = "gotcha@bubblenet.be";
     github = "gotcha";