From 0f14b4fefe47337bb9209603d0a1c1c64cf8140d Mon Sep 17 00:00:00 2001 From: "Jeffrey C. Ollie" Date: Wed, 20 May 2026 11:58:54 -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 61a31fc..4c0b604 100644 --- a/.tangled/workflows/mirror.yml +++ b/.tangled/workflows/mirror.yml @@ -32,14 +32,14 @@ steps: 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/known_hosts - chmod 0600 /tangled/home/.ssh/github_known_hosts + chmod 0600 /tangled/home/.ssh/known_hosts echo > /tangled/home/.ssh/config << EOF Host github.com LogLevel DEBUG IdentitiesOnly yes IdentityFile /tangled/home/.ssh/github_deploy_key EOF - chmod 0600 /tangled/home/ssh/config + chmod 0600 /tangled/home/.ssh/config git config --global core.sshCommand "ssh -v" - name: Push to GitHub -- 2.51.2