modules/users/friends.nix

@@ -68,17 +68,5 @@ in
         "sk-ssh-ed25519@openssh.com AAAAGnNrLXNzaC1lZDI1NTE5QG9wZW5zc2guY29tAAAAIK8icXjHkb4XzbIVN3djH4CE7RvgGd+3xbG4cgh0Yls5AAAABHNzaDo="
       ];
     };
-    # Raito: Temporary account until next year, for delroth, who is going to work on building capabilities for improving build infrastructure.
-    delroth = {
-      isNormalUser = true;
-      home = "/home/delroth";
-      shell = "/run/current-system/sw/bin/zsh";
-      uid = 2007;
-      # Raito: Allowed to spawn new VMs and do various stuff for isolating the workloads.
-      extraGroups = [ "wheel" ];
-      openssh.authorizedKeys.keys = [
-        "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAII3tjB4KYDok3KlWxdBp/yEmqhhmybd+w0VO4xUwLKKV"
-      ];
-    };
   };
 }