From 6c505e36949aef21df6d3df1276a161cd9583d50 Mon Sep 17 00:00:00 2001
From: "Jeffrey C. Ollie" <jeff@ocjtech.us>
Date: Wed, 20 May 2026 11:56:35 -0500
Subject: [PATCH] configure mirroring to github

---
 .tangled/workflows/mirror.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.tangled/workflows/mirror.yml b/.tangled/workflows/mirror.yml
index 7c62656..61a31fc 100644
--- a/.tangled/workflows/mirror.yml
+++ b/.tangled/workflows/mirror.yml
@@ -31,13 +31,13 @@ steps:
       chmod 0700 /tangled/home/.ssh
       echo "$GITHUB_DEPLOY_KEY" > /tangled/home/.ssh/github_deploy_key
       chmod 0600 /tangled/home/.ssh/github_deploy_key
-      echo "$GITHUB_KNOWN_HOSTS" > /tangled/home/.ssh/github_known_hosts
+      echo "$GITHUB_KNOWN_HOSTS" >> /tangled/home/.ssh/known_hosts
       chmod 0600 /tangled/home/.ssh/github_known_hosts
       echo > /tangled/home/.ssh/config << EOF
       Host github.com
         LogLevel DEBUG
+        IdentitiesOnly yes
         IdentityFile /tangled/home/.ssh/github_deploy_key
-        UserKnownHostsFile /tangled/home/.ssh/github_known_hosts
       EOF
       chmod 0600 /tangled/home/ssh/config
       git config --global core.sshCommand "ssh -v"
-- 
2.51.2