From 0afebfeb5a6ab380d56bb2f6e38a362a02f8d4b8 Mon Sep 17 00:00:00 2001
From: Graham Christensen <graham@grahamc.com>
Date: Mon, 23 Dec 2019 21:57:08 -0500
Subject: [PATCH] maintainer list: lattfein account was deleted

See: https://github.com/NixOS/nixpkgs/pull/69007 where this was added
but is now owned by a ghost.

Possibly the username lattfein (currently github ID 56827487) is
owned by the same person, but we should confirm before adding the
GitHub ID back.
---
 maintainers/maintainer-list.nix | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index e9c1ac633305..01ef2b65bcbb 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -3814,8 +3814,15 @@
   };
   lattfein = {
     email = "lattfein@gmail.com";
-    github = "lattfein";
-    githubId = 53550838;
+    # Their GitHub account was deleted.
+    #
+    # See: https://github.com/NixOS/nixpkgs/pull/69007 where this
+    # was added but is now owned by a ghost.
+    #
+    # Possibly the username lattfein (currently github ID 56827487) is
+    # owned by the same person, but we should confirm before adding
+    # the GitHub name or ID back.
+    # github = "lattfein";
     name = "Koki Yasuno";
   };
   layus = {