today at the MathComp meeting, @Cyril Cohen pointed out that certain Coq ecosystem projects (e.g.,
math-comp repo) may want to use the coqbot for managing merging, issue management, and access rights.
@Théo Zimmermann would that make sense in the medium or long term?
I personally think it could work well for some of the high-profile projects with many reverse dependencies, to borrow a page from Coq itself in project maintenance
For sure, it's definitely in the scope of the bot objectives.
FWIW, at some point in the future, I'd like to make the configuration of the bot easier to configure repository by repository (with a configuration file) but in the meantime, we can hard-code whatever we need to customize the bot to each project.
Last updated: May 28 2023 at 18:29 UTC