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:15 PM -0500) 5000b4cc bb9986e6

+3 -2
+3 -2
.tangled/workflows/mirror.yml
··· 36 36 echo "$GITHUB_KNOWN_HOSTS" >> /tangled/home/.ssh/known_hosts 37 37 chmod 0600 /tangled/home/.ssh/known_hosts 38 38 cat > /tangled/home/.ssh/config <<EOF 39 - Host * 39 + Host github.com 40 40 LogLevel DEBUG 41 41 IdentitiesOnly yes 42 42 IdentityFile /tangled/home/.ssh/github_deploy_key ··· 47 47 - name: Push to GitHub 48 48 command: | 49 49 git fetch --depth=1 origin main 50 + git switch main 50 51 git remote add github git@github.com:jcollie/uuid.zig.git 51 - git push --force github origin/main:main 52 + git push github main