Stream: coqbot devs & users

Topic: coqbot for managing library/plugin projects


view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip Théo Zimmermann (Jan 12 2022 at 10:20):

For sure, it's definitely in the scope of the bot objectives.

view this post on Zulip 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: Jan 31 2023 at 10:01 UTC