chore: Remove banned user

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>
2021-01-19 10:58:40 +01:00 · 2021-01-19 10:58:40 +01:00 · 29db630a39
commit 29db630a39
parent 5868d4bd49
10 changed files with 0 additions and 93 deletions
--- a/users/v/OWNERS
+++ b/users/v/OWNERS
@ -1,3 +0,0 @@
-inherited: false
-owners:
-  - v
--- a/users/v/keys.nix
+++ b/users/v/keys.nix
@ -1,7 +0,0 @@
-{ ... }:
-
-{
-  whitby = [
-    "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIKPY9bqtJ1AV+3/2DId2/p1jg4FQi1EHvEkVrfNdfhwq v@february"
-  ];
-}