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