From 78569fbc7e35fab8a3601dca30424b17d46e7e9b Mon Sep 17 00:00:00 2001
From: lassulus <git@lassul.us>
Date: Mon, 4 Sep 2023 10:15:23 +0200
Subject: [PATCH] l prism.r: remove jeschli user

---
 lass/1systems/prism/config.nix | 34 ----------------------------------
 1 file changed, 34 deletions(-)

diff --git a/lass/1systems/prism/config.nix b/lass/1systems/prism/config.nix
index 40c721e18..5502dd04c 100644
--- a/lass/1systems/prism/config.nix
+++ b/lass/1systems/prism/config.nix
@@ -159,40 +159,6 @@ with import <stockholm/lib>;
         '';
       };
     }
-    {
-      users.users.jeschli = {
-        uid = genid_uint31 "jeschli";
-        isNormalUser = true;
-        openssh.authorizedKeys.keys = with config.krebs.users; [
-          jeschli.pubkey
-          jeschli-bln.pubkey
-          jeschli-bolide.pubkey
-          jeschli-brauerei.pubkey
-        ];
-      };
-      krebs.git.rules = [
-        {
-          user = with config.krebs.users; [
-            jeschli
-            jeschli-bln
-            jeschli-bolide
-            jeschli-brauerei
-          ];
-          repo = [ config.krebs.git.repos.xmonad-stockholm ];
-          perm = with git; push "refs/heads/jeschli*" [ fast-forward non-fast-forward create delete merge ];
-        }
-        {
-          user = with config.krebs.users; [
-            jeschli
-            jeschli-bln
-            jeschli-bolide
-            jeschli-brauerei
-          ];
-          repo = [ config.krebs.git.repos.stockholm ];
-          perm = with git; push "refs/heads/staging/jeschli*" [ fast-forward non-fast-forward create delete merge ];
-        }
-      ];
-    }
     {
       krebs.repo-sync.repos.stockholm.timerConfig = {
         OnBootSec = "5min";