From 006690c54f5c65f810ac20c176e921e69304a2c5 Mon Sep 17 00:00:00 2001
From: Sean Whitton <spwhitton@spwhitton.name>
Date: Sat, 10 Nov 2018 10:00:37 -0700
Subject: use the new SSH jump hosts for debian.org hosts

---
 .ssh/config | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to '.ssh')

diff --git a/.ssh/config b/.ssh/config
index ba383c0e..503cdc52 100644
--- a/.ssh/config
+++ b/.ssh/config
@@ -34,10 +34,12 @@ User spw
 
 ### Debian hosts
 
-Host alioth | git.debian.org
-HostName git.debian.org
+Host *.debian.org !*.ssh.debian.org !ssh.debian.org
+User spwhitton
+ProxyJump ssh.debian.org
+# ^ or: {na,eu}.ssh.debian.org
 
-Host *.debian.org *.debian.net
+Host *.debian.net
 User spwhitton
 
 ### my hosts
-- 
cgit v1.2.3