Karl Palmskog (Jan 12 2022 at 10:09): Karl Palmskog (Jan 12 2022 at 10:09):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?
Karl Palmskog (Jan 12 2022 at 10:10):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
Théo Zimmermann (Jan 12 2022 at 10:20):For sure, it's definitely in the scope of the bot objectives.
Théo Zimmermann (Jan 12 2022 at 10:21):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