diff options
author | emilylange <git@emilylange.de> | 2023-06-04 16:26:28 +0200 |
---|---|---|
committer | emilylange <git@emilylange.de> | 2023-06-04 16:26:28 +0200 |
commit | 4bffe265372dc372bcb2f9540bacb9c3e6429ad4 (patch) | |
tree | d075b720a319c90318faa2a9052a7b63b1148ef2 /maintainers | |
parent | 3788de53f963ee6f0c8815dd47e7eca2b72edc92 (diff) |
maintainers: remove gordias
as their GitHub account appears to be deleted
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 9 |
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"; |