Pushing code to both Tangled and GitHub automatically

Simple guide if you'd like to host your code on GitHub and Tangled at the same time without complex mirroring.

clover@bunware.org

Aug 10, 2025 · 1 min read

irst, add your GitHub repo as a push destination:

git remote set-url --add --push origin https://github.com/username/repo.git

Next, add your tangled repo (modify with your knot):

git remote set-url --add --push origin git@tangled.sh:@handle/repo

Then, push your code as normal!

git push

If you're having issues, git remote -v is your friend!

Mostly Protocols

@bunware.org