From c20a5d6e70d066f1a260168d7d3af727b7298d8a Mon Sep 17 00:00:00 2001
From: Ryan Kavanagh <rak@debian.org>
Date: Tue, 29 Jan 2019 14:20:14 -0500
Subject: use proxyhost for debian.org

---
 .ssh/config | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to '.ssh/config')

diff --git a/.ssh/config b/.ssh/config
index 858487e..096c08c 100644
--- a/.ssh/config
+++ b/.ssh/config
@@ -6,7 +6,11 @@ NoHostAuthenticationForLocalhost yes
 ## Debian hosts
 Host *.debian.net
      User rak
-Host *.debian.org master ravel alioth
+Host ssh.debian.org *.ssh.debian.org
+     User rak
+     StrictHostKeyChecking yes
+     UserKnownHostsFile ~/.ssh/known_hosts.d/debian
+Host *.debian.org master ravel alioth !*.ssh.debian.org !ssh.debian.org
      User rak
      ProxyJump ssh.debian.org
      StrictHostKeyChecking yes
-- 
cgit v1.2.3