From 136c3a2340b9b72d758e7e55509444fd83a1e837 Mon Sep 17 00:00:00 2001
From: "Alexander \"PapaTutuWawa" <papatutuwawa@polynom.me>
Date: Sun, 12 Jun 2022 22:29:36 +0200
Subject: [PATCH] users: Add SSH key

---
 modules/users/alexander.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/modules/users/alexander.nix b/modules/users/alexander.nix
index 2c817a6..62e0f97 100644
--- a/modules/users/alexander.nix
+++ b/modules/users/alexander.nix
@@ -47,6 +47,11 @@
             hostname = "codeberg.org";
             identityFile = "~/.ssh/codeberg_papatutuwawa";
           };
+          "collaborating.tuhh.de" = {
+            user = "git";
+            hostname = "collaborating.tuhh.de";
+            identityFile = "~/.ssh/gitlab_tuhh";
+          };
         };
       };