From 41db2d34c03fb5c4e40f1d3e8142196a39bb1621 Mon Sep 17 00:00:00 2001
From: Jeffrey C. Ollie <jeff@ocjtech.us>
Date: Wed, 20 May 2026 16:41:14 +0000
Subject: [PATCH] configure mirroring to github

---
 .tangled/workflows/mirror.yml | 23 ++++++++++++-----------
 1 file(s) changed, 12 insertion(s)(+), 11 deletion(s)(-)

diff --git a/.tangled/workflows/mirror.yml b/.tangled/workflows/mirror.yml
--- a/.tangled/workflows/mirror.yml
+++ b/.tangled/workflows/mirror.yml
@@ -27,18 +27,19 @@
     command: |
       echo $HOME
       pwd
-      mkdir ~/.ssh
-      chmod 0700 ~/.ssh
-      echo "$GITHUB_DEPLOY_KEY" > ~/.ssh/github_deploy_key
+      mkdir /tangled/home/ssh
+      chmod 0700 /tangled/home/ssh
+      echo "$GITHUB_DEPLOY_KEY" > /tangled/home/ssh/github_deploy_key
       chmod 0600 ~/.ssh/github_deploy_key
-      echo "$GITHUB_KNOWN_HOSTS" > ~/.ssh/github_known_hosts
-      chmod 0600 ~/.ssh/github_known_hosts
-      echo > ~/.ssh/config << EOF
-      Host github.com
-        LogLevel DEBUG
-        IdentityFile ~/.ssh/github_deploy_key
-        UserKnownHostsFile ~/.ssh/github_known_hosts
-      EOF
+      echo "$GITHUB_KNOWN_HOSTS" > /tangled/home/ssh/github_known_hosts
+      chmod 0600 /tangled/home/ssh/github_known_hosts
+      # echo > ~/.ssh/config << EOF
+      # Host github.com
+      #   LogLevel DEBUG
+      #   IdentityFile /tangled/home/ssh/github_deploy_key
+      #   UserKnownHostsFile /tangled/home/ssh/github_known_hosts
+      # EOF
+      git config --global core.sshCommand "ssh -v -o IdentityFile=/tangled/home/ssh/github_deploy_key -o UserKnownHostsFile=/tangled/home/ssh/github_known_hosts"
 
   - name: Push to GitHub
     command: |

--
tangled.sh