From 8b2fe93b7de1dfc4f3debaf70f4774f8126c1537 Mon Sep 17 00:00:00 2001
From: Gabriel Augendre <gabriel@augendre.info>
Date: Thu, 2 Feb 2023 13:44:37 +0100
Subject: [PATCH] Move github host to if block in ssh config

---
 private_dot_ssh/config.tmpl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/private_dot_ssh/config.tmpl b/private_dot_ssh/config.tmpl
index 7f1ad0c..b1e6132 100644
--- a/private_dot_ssh/config.tmpl
+++ b/private_dot_ssh/config.tmpl
@@ -35,8 +35,8 @@ Host hyperhdr
     hostname hyperhdr.local
     user pi
 
-Host github.com
 {{ if hasKey . "proxy" }}
+Host github.com
     Hostname ssh.github.com
     Port 443
     User git