From f028c2f320ea9d7691ff06eb1ffc1d746823a5fc Mon Sep 17 00:00:00 2001
From: David Tomaschik <david@systemoverlord.com>
Date: Wed, 18 Apr 2018 16:07:50 -0700
Subject: [PATCH] Fix SSH to github when ndots=2.

---
 dotfiles/ssh/config | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dotfiles/ssh/config b/dotfiles/ssh/config
index d738db0..abfcbf4 100644
--- a/dotfiles/ssh/config
+++ b/dotfiles/ssh/config
@@ -17,3 +17,6 @@ Host warzone
   Hostname warzone.shadowcats.club
   Port 22
   User matir
+
+Host github.com
+  Hostname ssh.github.com