From 7ed8faaca8f76e6c65ef0d1fe6f09ce1275da1bc Mon Sep 17 00:00:00 2001
From: Felix Stupp <felix.stupp@banananet.work>
Date: Fri, 6 Sep 2024 13:30:56 +0000
Subject: [PATCH] nixosProfiles/common: add SSH host key of gitlab.kit.edu

---
 nix/nixosProfiles/common.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nix/nixosProfiles/common.nix b/nix/nixosProfiles/common.nix
index 1ed9c7e..8a5b638 100644
--- a/nix/nixosProfiles/common.nix
+++ b/nix/nixosProfiles/common.nix
@@ -95,6 +95,7 @@ in
           "git.sr.ht".publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMZvRd4EtM7R+IHVMWmDkVU3VLQTSwQDSAvW0t2Tkj60";
           "github.com".publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOMqqnkVzrm0SdG6UOoqKLsabgH5C9okWi0dh2l9GKJl";
           "gitlab.com".publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIAfuCHKVTjquxvt6CM6tdG4SLp1Btn/nOeHHE5UOzRdf";
+          "gitlab.kit.edu".publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOriuxsWoXA8CnvHndcG9c5u2lBXoCAmeFUhrMEMwY9+";
         };
       };