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?
master branches indeed looks like a good idea.
OK, done for all three repos
if you want to give more people push access to master, please let me or Théo know
(or I think you can even, as Admins, add new people yourselves with Maintain role to repo)
Last updated: Dec 01 2023 at 06:01 UTC