chore: Remove banned user r/2133

Change-Id: Icd61f7c567a327c74a4f381168e94737b2b30702
Reviewed-on: https://cl.tvl.fyi/c/depot/+/2422
Tested-by: BuildkiteCI
Reviewed-by: edef <edef@edef.eu>
Reviewed-by: tazjin <mail@tazj.in>

1 files changed, 0 insertions, 6 deletions

diff --git a/ops/nixos/whitby/default.nix b/ops/nixos/whitby/default.nix
index 543a1fe2d7ad..2f22253aa551 100644
--- a/ops/nixos/whitby/default.nix
+++ b/ops/nixos/whitby/default.nix
@@ -426,12 +426,6 @@ in lib.fix(self: {
       openssh.authorizedKeys.keys = depot.users.eta.keys.whitby;
     };
 
-    users.v = {
-      isNormalUser = true;  # Questionable...
-      extraGroups = [ "git" ];
-      openssh.authorizedKeys.keys = depot.users.v.keys.whitby;
-    };
-
     users.cynthia = {
       isNormalUser = true; # I'm normal OwO :3
       extraGroups = [ "git" ];