From: martin f. krafft <madduck@madduck.net>
Date: Fri, 6 Mar 2015 08:30:27 +0000 (+0100)
Subject: use my own jumphost for dc.o
X-Git-Url: https://git.madduck.net/etc/ssh.git/commitdiff_plain/86a3932173fef5db1409164893c886686caa31b4

use my own jumphost for dc.o
---

diff --git a/.ssh/config.in b/.ssh/config.in
index 60dd466..f926ad5 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -862,11 +862,11 @@ Host zemlinsky.debian.org | zemlinsky
 
 Host nelson.debconf.org | penta.debconf.org | nelson | summit | summit.debconf.org
   Hostname nelson.debconf.org
-  ProxyCommand ssh people.debian.org nc -q0 %h %p
+  ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
 
 Host kent.debconf.org | kent
   Hostname kent.debconf.org
-  ProxyCommand ssh people.debian.org nc -q0 %h %p
+  ProxyCommand ssh sysyphus.madduck.net nc -q0 %h %p
 
 ### PENNY