Comment by icy

You could mirror it, yeah! Perhaps write a spindle pipeline[0] to push back to GitH*b on merge. :)

[0]: https://tangled.org/@tangled.org/core/blob/master/docs/spind...