ssh: update work systems

diff --git a/.ssh/config b/.ssh/config
index c8cf4e447b9f3791078de753d92ab6e35db14a61..efbc226fc64a7db46ab50e7057bd34d9ebe90c71 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -94,16 +94,12 @@ Host gshell
        HostName sh.corp.google.com
        User vapier
 
-Host gerrit.chromium.org
-       Port 29418
-       IdentityFile ~/.ssh/id_rsa.google
-Host gerrit-int.chromium.org git.chromium.org review.source.android.com review.coreboot.org
-       Port 29419
-       IdentityFile ~/.ssh/id_rsa.google
-
 Host work
        HostName vapier.cam.corp.google.com
 
+Host lemote
+       HostName 172.29.72.35
+
 ###
 ### random source systems
 ###