From 8e959cc72db31fad948c12e29d9345276013b8a6 Mon Sep 17 00:00:00 2001
From: lassulus <git@lassul.us>
Date: Thu, 6 Jul 2023 20:26:25 +0200
Subject: [PATCH] lass: change default mail to green.r

---
 kartei/lass/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kartei/lass/default.nix b/kartei/lass/default.nix
index e5b12f1cb..d4806534f 100644
--- a/kartei/lass/default.nix
+++ b/kartei/lass/default.nix
@@ -29,7 +29,7 @@ in {
   users = rec {
     lass = lass-yubikey;
     lass-yubikey = {
-      mail = "lass@lassul.us";
+      mail = "lass@green.r";
       pubkey = builtins.readFile ./ssh/yubikey.rsa;
       pgp.pubkeys.default = builtins.readFile ./pgp/yubikey.pgp;
     };