From 82ccb56fe564d4894ef928bd3dab191fd40001ba Mon Sep 17 00:00:00 2001
From: Gabriel DORIATH DOHLER <gabriel.doriath.dohler@ens.fr>
Date: Fri, 5 Nov 2021 23:59:59 +0000
Subject: [PATCH] remove hackens keys from core-services and remote-builder

---
 machines/core-services-01/configuration.nix  | 1 -
 machines/remote-builder-01/configuration.nix | 1 -
 2 files changed, 2 deletions(-)

diff --git a/machines/core-services-01/configuration.nix b/machines/core-services-01/configuration.nix
index 466c48a..a09eec0 100644
--- a/machines/core-services-01/configuration.nix
+++ b/machines/core-services-01/configuration.nix
@@ -74,7 +74,6 @@
   users.users.root.openssh.authorizedKeys.keyFiles = [
     ./pubkeys/gdd.keys
     ./pubkeys/raito.keys
-    ./pubkeys/hackens-milieu.keys
   ];
 
   # Open ports in the firewall.
diff --git a/machines/remote-builder-01/configuration.nix b/machines/remote-builder-01/configuration.nix
index 79a6a28..1c6245b 100644
--- a/machines/remote-builder-01/configuration.nix
+++ b/machines/remote-builder-01/configuration.nix
@@ -63,7 +63,6 @@
   users.users.root.openssh.authorizedKeys.keyFiles = [
     ./pubkeys/gdd.keys
     ./pubkeys/raito.keys
-    ./pubkeys/hackens-milieu.keys
     ./pubkeys/remote-builders.keys
   ];