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/

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/spindle/pipeline.md https://tangled.org/@tangled.org/core/blob/master/docs/spind...