Community soft fork

[creatorrr]

Starting a soft fork of cozo here:

https://github.com/cozo-community/cozo

This is not intended to be a hard fork coz Ziyang (@zh217) has indicated that he continues to support it albeit with limited time.

Discord: https://discord.gg/DMHUyG2RFA

[creatorrr]

Would appreciate volunteers and help for maintaining

[boticello]

Great to hear that development on Cozo will continue.

[andrewbaxter]

I'd be really happy to see this maintained too, although I lack the expertise to do it myself. What does this mean for opening PRs? I just made #282 for example

[creatorrr]

I think @zh217 does frequently review and merge PRs and the fork will keep in sync with upstream so it should be fine to open PRs here. That said- we are setting up a CI/CD pipeline for building and publishing packages automatically. And since there's more than one maintainer on the community fork, it might get merged faster. :)