Add tangled as second push target, git/jj will push main to both when you git push:

```
git remote set-url --add --push origin "$(git remote get-url origin)"
git remote set-url --add --push origin git@knot.geninf.io:spacesos.org/spaces-os
```