From ea74deff3d17ec11aeb95caf867e593e46965a0a Mon Sep 17 00:00:00 2001
From: Artemis Tosini <me@artem.ist>
Date: Sun, 16 Jun 2024 14:38:20 +0000
Subject: [PATCH] ssh: remove cmu.edu, i don't have it anymore

---
 home/ssh/default.nix | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/home/ssh/default.nix b/home/ssh/default.nix
index 71cf536..745df3e 100644
--- a/home/ssh/default.nix
+++ b/home/ssh/default.nix
@@ -22,13 +22,6 @@
 
     # Most hosts are set in private
     matchBlocks = {
-      "*.cmu.edu" = {
-        user = "atosini";
-        extraOptions = {
-          GSSAPIAuthentication = "yes";
-          GSSAPIDelegateCredentials = "yes";
-        };
-      };
       "github.com".extraOptions.ControlMaster = "no";
     };
   };