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, 12:24 PM -0500) f2e47c7c ca25cff2

+2 -4
+2 -4
.tangled/workflows/mirror.yml
··· 34 34 chmod 0700 /tangled/home/.ssh 35 35 echo "$GITHUB_DEPLOY_KEY" > /tangled/home/.ssh/github_deploy_key 36 36 chmod 0600 /tangled/home/.ssh/github_deploy_key 37 - ls -l /tangled/home/.ssh/github_deploy_key 38 - ssh-keygen -l -E sha256 -f /tangled/home/.ssh/github_deploy_key 39 37 echo "$GITHUB_KNOWN_HOSTS" >> /tangled/home/.ssh/known_hosts 40 38 chmod 0600 /tangled/home/.ssh/known_hosts 41 39 cat > /tangled/home/.ssh/config <<EOF 42 40 Host github.com 43 - LogLevel DEBUG 44 41 IdentitiesOnly yes 45 42 IdentityFile /tangled/home/.ssh/github_deploy_key 46 43 EOF ··· 49 46 - name: Push to GitHub 50 47 command: | 51 48 git fetch origin main 49 + git switch main 52 50 git remote add github git@github.com:jcollie/uuid.zig.git 53 - git push github origin/main:main 51 + git push github main