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:41 AM -0500) 41db2d34 9b023037

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