diff --git a/common/ssh/config b/common/ssh/config
index 968375a..2db384f 100644
--- a/common/ssh/config
+++ b/common/ssh/config
@@ -20,11 +20,3 @@ Host system76
 Host work_laptop
     HostName 10.0.0.8
     User connorjohnstone
-
-# Correct from every machine except mainframe itself, which overrides it in
-# hosts/mainframe/ssh/config.local — there, Gitea is a local port.
-Host git.rcjohnstone.com
-    HostName 10.0.0.2
-    Port 2222
-    User connor
-    IdentityFile ~/.ssh/id_ed25519
diff --git a/hosts/mainframe/ssh/config.local b/hosts/mainframe/ssh/config.local
index bd1cb2a..06fbe84 100644
--- a/hosts/mainframe/ssh/config.local
+++ b/hosts/mainframe/ssh/config.local
@@ -1,6 +1,3 @@
-# Gitea runs on this machine; reach it on the loopback rather than out and back.
-Host git.rcjohnstone.com
-    HostName localhost
-    Port 2222
-    User connor
-    IdentityFile ~/.ssh/id_ed25519
+# No machine-specific ssh aliases on mainframe.
+# git.rcjohnstone.com is resolved by the router's DNS to 10.0.0.2 and the
+# git remote URL carries :2222, so no alias is needed or wanted here.