So I'm thinking we should restrict the
master branch of VsCoq to admins [of repo and Coq-community org]. Any objections @Huỳnh Trần Khanh @Maxime Dénès @Théo Zimmermann?
(I think it's fine if other people in the Coq-community org create new branches and push to them though)
Sure, no pb.
I also take this opportunity to ping @Laurent Théry about confirming his status as co-maintainer of VsCoq
Last updated: Jun 04 2023 at 23:30 UTC