From 86a3932173fef5db1409164893c886686caa31b4 Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Fri, 6 Mar 2015 09:30:27 +0100
Subject: [PATCH] use my own jumphost for dc.o

---
 .ssh/config.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
 
-- 
2.39.2