@Théo Zimmermann unfortunately, I believe hydra-battles has way too much customization to be manageable only via the template script. Pierre's latest PR uses the script and removes some useful stuff (e.g., the custom README, overwrites CI yml) How do we handle this (now and longer term)?
I think given what Pierre is trying to do, the need for custom automation can't be fully automated away...
Sorry for not answering earlier @Karl Palmskog. I agree that this is a problem. We could do without the templates automatic generation but sometimes useful updates in the templates would have to be manually backported. Otherwise, we can try to see what files would be better managed by hand and what files would be better managed automatically with some variables to override what we need to override.
Note that the use case of a monorepo with several packages is not entirely uncommon now, so we should definitely support it in the templates or even directly in Docker-Coq-Action eventually.
OK, sounds reasonable.
Last updated: Jun 03 2023 at 15:31 UTC