ssh_config: update archs

diff --git a/.ssh/config b/.ssh/config
index 681592182a19c890cb3eb811a33a053e2d98f310..4465032d50fbe44fce819bbbd01e82921a1b956d 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -155,6 +155,10 @@ Host coral
        HostName coral.gentoo.osuosl.org
        IdentityFile ~/.ssh/id_dsa.vapier
 
+Host polyp
+       HostName polyp.arm.dev.gentoo.org
+       IdentityFile ~/.ssh/id_dsa.vapier
+
 ### GBSD ###
 
 
@@ -183,13 +187,17 @@ Host kolla
 Host raq2
        HostName raq2.gentoo.osuosl.org
 
+Host mips
+       HostName 108.161.26.171
+       Port 9240
+
 ### PPC ###
 
-Host ppc
+Host ppc2
        HostName rooster.ppc64.dev.gentoo.org
        IdentityFile ~/.ssh/id_rsa.vapier
 
-Host ppc2
+Host ppc ppc64
        HostName timberdoodle.gentoo.osuosl.org
        IdentityFile ~/.ssh/id_rsa.vapier