From 0409cfbca9fb0dd8a03512ed2a7fbd8b544c12e0 Mon Sep 17 00:00:00 2001
From: Ryan Kavanagh <rak@rak.ac>
Date: Wed, 27 Oct 2021 09:57:29 -0400
Subject: fix github known hosts

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

(limited to '.ssh/config')

diff --git a/.ssh/config b/.ssh/config
index 0f855aa..4e02c25 100644
--- a/.ssh/config
+++ b/.ssh/config
@@ -93,6 +93,11 @@ Host rsync.net
     Hostname de1270.rsync.net
     UserKnownHostsFile ~/.ssh/known_hosts.d/rsync.net
     User de1270
+Host github.com *.github.com
+    # Don't spam known_hosts with github's many IPs
+    # Especially given that they just use the same key
+    # everywhere (contrary to best practices)
+    CheckHostIp no
 
 ## Global defaults
 Host *
-- 
cgit v1.2.3