1 files changed, 4 insertions, 0 deletions

diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix
index 24d1f18c..d041ede0 100644
--- a/accounts/gkleen@sif/ssh-hosts.nix
+++ b/accounts/gkleen@sif/ssh-hosts.nix
@@ -48,6 +48,10 @@
     { user = "git";
       identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil";
     };
+  "gitlab.ifi.lmu.de" =
+    { user = "git";
+      identityFile = "~/.ssh/kleen@gitlab.ifi.lmu.de";
+    };
   "hel".hostname = "hel.midgard.yggdrasil";
   "blackbeard" =
     { hostname = "blackbeard.tcs.ifi.lmu.de";