From 701fd361853a5373b9db149dcf52eb6490759c4c Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <lwirzenius@wikimedia.org>
Date: Thu, 12 Mar 2020 15:26:46 +0200
Subject: Add: contint servers to ssh/config-wmf

---
 ssh/config-wmf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ssh/config-wmf b/ssh/config-wmf
index 3240f57..82e46bb 100644
--- a/ssh/config-wmf
+++ b/ssh/config-wmf
@@ -19,7 +19,7 @@ Host bast
     IdentityFile ~/.ssh/prod.key
 
 # Proxy all connections to internal servers through the bastion host
-Host *.wmnet
+Host *.wmnet contint*.wikimedia.org
     ProxyJump bast
     IdentityFile ~/.ssh/prod.key
 
-- 
cgit v1.2.1