From 7f53027b89ae8b8d97159081e22a1dbf7ebefae4 Mon Sep 17 00:00:00 2001
From: "Jeffrey C. Ollie" <jeff@ocjtech.us>
Date: Wed, 20 May 2026 12:10:12 -0500
Subject: [PATCH] configure mirroring to github

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

diff --git a/.tangled/workflows/mirror.yml b/.tangled/workflows/mirror.yml
index 5ee93ec..79481ff 100644
--- a/.tangled/workflows/mirror.yml
+++ b/.tangled/workflows/mirror.yml
@@ -36,16 +36,16 @@ steps:
       echo "$GITHUB_KNOWN_HOSTS" >> /tangled/home/.ssh/known_hosts
       chmod 0600 /tangled/home/.ssh/known_hosts
       echo > /tangled/home/.ssh/config << EOF
-      Host github.com
+      Host *
         LogLevel DEBUG
         IdentitiesOnly yes
         IdentityFile /tangled/home/.ssh/github_deploy_key
       EOF
       chmod 0600 /tangled/home/.ssh/config
-      git config --global core.sshCommand "ssh -v -i /tangled/home/.ssh/github_deploy_key"
+      git config --global core.sshCommand "ssh -v"
 
   - name: Push to GitHub
     command: |
       git fetch --depth=1 origin main
       git remote add github git@github.com:jcollie/uuid.zig.git
-      git push github origin/main:main
+      git push --force github origin/main:main
-- 
2.51.2