1Add tangled as second push target, git/jj will push main to both when you git push: 2 3``` 4git remote set-url --add --push origin "$(git remote get-url origin)" 5git remote set-url --add --push origin git@knot.geninf.io:spacesos.org/spaces-os 6```