2 files changed, 25 insertions, 12 deletions
diff --git a/krebs/3modules/external/mic92.nix b/krebs/3modules/external/mic92.nix
index 901379294..3c76a372c 100644
--- a/krebs/3modules/external/mic92.nix
+++ b/krebs/3modules/external/mic92.nix
@@ -775,5 +775,30 @@ in {
         };
       };
     };
+
+    mickey = {
+      owner = config.krebs.users.mic92;
+      nets = rec {
+        retiolum = {
+          aliases = [ "mickey.r" ];
+          tinc.pubkey = ''
+            Ed25519PublicKey = cE450gYxzp9kAzV5ytU9N7aV+WdnD7wQMjkPWV7r/bC
+            -----BEGIN RSA PUBLIC KEY-----
+            MIICCgKCAgEA7TwI3/tyl3z46Enr6p/0bpl5CpG6DZLxjAhsMcWBM+4xTL9s18IZ
+            2FGbyS3EyOBprMBQULrik1u0rfZ0AL8XdO6h+r1BD6XmlZtUu3FJaVeXrLBPGtC0
+            qqC0mZOj1ezTl3kC9/O7slU1/vuIRWiiRuvmvLnc6uWo+ShTl8fs0a3rY7/FsFVY
+            ZClf2M/5cJmeZpwy+PvgGmhSvjflO5+v+C+LvvhfVzoLw2zf8Gbi23ifS0uhhJt2
+            9ztGnmQg+n4+EWEN3XFS1XXHO2P2jyy1ss5NrN0JrO/1J519owHXxbo096MV12xr
+            azD6of8k0xHbfW4PW0/U1qzs9Ra1T54D+xtnyemLOyeCApwUy+bSg+XuqMz1Wy55
+            dci7cBguTIn+pnJqcf8lGSfWDSxlBiwrbXSPszlRQ6vO8MA2uciSmOKodKtNj4bQ
+            5IfdHHOHGAuuE+ZNt6owc/8QzQ3dVT+fVmTeN1PB4FmPmF5E2kOpe4NebZ0DhD+g
+            +g/bNO5FFlIy2M+LKauIXugAHlrVrxl4blfjVkb9xrfsSJHQl8/G/F9zMUAzUBv3
+            W8cVFn9mAw0FFaQljs9iha92we6Vs93v+ZvsmSG2MVOYBVwka4FJ7kjaABLFXcjN
+            RA8gQM/P3j1EmDvemlskWOoCLVELR40BtKdM9MFiGqxGMoNh3DvGWTECAwEAAQ==
+            -----END RSA PUBLIC KEY-----
+          '';
+        };
+      };
+    };
   };
 }
diff --git a/krebs/3modules/github-known-hosts.nix b/krebs/3modules/github-known-hosts.nix
index d30b41ee5..7bdf5bb7c 100644
--- a/krebs/3modules/github-known-hosts.nix
+++ b/krebs/3modules/github-known-hosts.nix
@@ -51,15 +51,9 @@
       "52.78.231.108"
       "13.234.176.102"
       "13.234.210.38"
-      "13.229.188.59"
-      "13.250.177.223"
-      "52.74.223.119"
       "13.236.229.21"
       "13.237.44.5"
       "52.64.108.95"
-      "18.228.52.138"
-      "18.228.67.229"
-      "18.231.5.6"
       "20.201.28.151"
       "20.205.243.166"
       "102.133.202.242"
@@ -70,15 +64,9 @@
       "13.125.114.27"
       "3.7.2.84"
       "3.6.106.81"
-      "18.140.96.234"
-      "18.141.90.153"
-      "18.138.202.180"
       "52.63.152.235"
       "3.105.147.174"
       "3.106.158.203"
-      "54.233.131.104"
-      "18.231.104.233"
-      "18.228.167.86"
       "20.201.28.152"
       "20.205.243.160"
       "102.133.202.246"