Stream: math-comp devs

Topic: Branch protection in Coq-community


view this post on Zulip Karl Palmskog (Oct 13 2022 at 15:29):

We plan to do a pass in Coq-community to add branch protection to key projects in Coq-community. The three MathComp-affiliated projects are:

it seems obvious we want to add protection for master at least for fourcolor (i.e., restrict pushes to admins and maintainers). Could I get confirmation from MathComp people for this? Maybe we add @Cyril Cohen @Pierre Roux as admins for these projects as well?

view this post on Zulip Pierre Roux (Oct 13 2022 at 15:49):

Protecting master branches indeed looks like a good idea.

view this post on Zulip Karl Palmskog (Oct 13 2022 at 16:06):

OK, done for all three repos

view this post on Zulip Pierre Roux (Oct 13 2022 at 16:07):

Thanks

view this post on Zulip Karl Palmskog (Oct 13 2022 at 16:08):

if you want to give more people push access to master, please let me or Théo know

view this post on Zulip Karl Palmskog (Oct 13 2022 at 16:09):

(or I think you can even, as Admins, add new people yourselves with Maintain role to repo)


Last updated: Jan 29 2023 at 15:02 UTC