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, 7 deletions

diff --git a/users/v/keys.nix b/users/v/keys.nix
deleted file mode 100644
index 45f53f3458b3..000000000000
--- a/users/v/keys.nix
+++ /dev/null
@@ -1,7 +0,0 @@
-{ ... }:
-
-{
-  whitby = [
-    "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIKPY9bqtJ1AV+3/2DId2/p1jg4FQi1EHvEkVrfNdfhwq v@february"
-  ];
-}