remove mention of other git servers

3 files changed, 0 insertions, 21 deletions

diff --git a/nix/users/fcuny/git.nix b/nix/users/fcuny/git.nix
index 9f7023a..5f52bef 100644
--- a/nix/users/fcuny/git.nix
+++ b/nix/users/fcuny/git.nix
@@ -63,9 +63,6 @@
         "ssh://git@github.rbx.com/" = {
           insteadOf = "https://github.rbx.com/";
         };
-        "ssh://git@git.fcuny.net:422/" = {
-          insteadOf = "https://git.fcuny.net/";
-        };
       };
     };
   };
diff --git a/nix/users/fcuny/go.nix b/nix/users/fcuny/go.nix
index 401abe3..c6c9cf6 100644
--- a/nix/users/fcuny/go.nix
+++ b/nix/users/fcuny/go.nix
@@ -14,7 +14,6 @@
     goPrivate = [
       "github.rbx.com/*"
       "github.com/fcuny/*"
-      "git.fcuny.net/*"
     ];
   };
 
diff --git a/nix/users/fcuny/ssh.nix b/nix/users/fcuny/ssh.nix
index 004d44f..0ceb623 100644
--- a/nix/users/fcuny/ssh.nix
+++ b/nix/users/fcuny/ssh.nix
@@ -25,23 +25,6 @@
           preferredAuthentications = "publickey";
         };
       };
-      "git" = {
-        hostname = "git.fcuny.net";
-        port = 422;
-        user = "git";
-        forwardAgent = false;
-        extraOptions = {
-          preferredAuthentications = "publickey";
-        };
-      };
-      "home" = {
-        hostname = "fcuny.net";
-        port = 422;
-        user = "fcuny";
-        extraOptions = {
-          preferredAuthentications = "publickey";
-        };
-      };
     };
   };
 }