Never crossed our minds before, we didn't really set out with the expectation of user made content or patches, this is our first project after all, but i guess there wouldnt be harm in it. Maybe if there's demand for it? I'm in no hurry to go figuring out how to set that up though, we still have to find our playerbase
Well, setting it up shouldn't be anything difficult if you're using Git (if you're not, then that's something you should get on ASAP). Bare minimum just some branch protection rules, and it can work, I could even help if need be (just currently stuck on exams for a couple weeks).
My opinion on the open source part applies exactly the same to Holocure too: these are games made for a community, they're not commercial products. I think the community of each respective game would appreciate the ability to maybe patch in bugs, even if the chances of that happening are tiny. It's just the idea behind these games - for the community, by the community. But yes, finding the playerbase is the goal for now.