jcollie.dev / uuid.zig
RFC 9562 UUID implementation in Zig sites.wisp.place/jcollie.dev/uuid.zig/
zig uuid
1
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

configure mirroring to github

Jeffrey C. Ollie (May 20, 2026, 11:53 AM -0500) 950dc122 dada1835

+10 -10
+10 -10
.tangled/workflows/mirror.yml
··· 27 27 command: | 28 28 echo $HOME 29 29 pwd 30 - mkdir /tangled/home/ssh 31 - chmod 0700 /tangled/home/ssh 32 - echo "$GITHUB_DEPLOY_KEY" > /tangled/home/ssh/github_deploy_key 33 - chmod 0600 /tangled/home/ssh/github_deploy_key 34 - echo "$GITHUB_KNOWN_HOSTS" > /tangled/home/ssh/github_known_hosts 35 - chmod 0600 /tangled/home/ssh/github_known_hosts 36 - echo > /tangled/home/ssh/config << EOF 30 + mkdir /tangled/home/.ssh 31 + chmod 0700 /tangled/home/.ssh 32 + echo "$GITHUB_DEPLOY_KEY" > /tangled/home/.ssh/github_deploy_key 33 + chmod 0600 /tangled/home/.ssh/github_deploy_key 34 + echo "$GITHUB_KNOWN_HOSTS" > /tangled/home/.ssh/github_known_hosts 35 + chmod 0600 /tangled/home/.ssh/github_known_hosts 36 + echo > /tangled/home/.ssh/config << EOF 37 37 Host github.com 38 38 LogLevel DEBUG 39 - IdentityFile /tangled/home/ssh/github_deploy_key 40 - UserKnownHostsFile /tangled/home/ssh/github_known_hosts 39 + IdentityFile /tangled/home/.ssh/github_deploy_key 40 + UserKnownHostsFile /tangled/home/.ssh/github_known_hosts 41 41 EOF 42 42 chmod 0600 /tangled/home/ssh/config 43 - git config --global core.sshCommand "ssh -v -F /tangled/home/ssh/config" 43 + git config --global core.sshCommand "ssh -v" 44 44 45 45 - name: Push to GitHub 46 46 command: |