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?
Protecting master
branches indeed looks like a good idea.
OK, done for all three repos
Thanks
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: Oct 13 2024 at 01:02 UTC