Karl Palmskog (Oct 13 2022 at 15:19): Karl Palmskog (Oct 13 2022 at 15:19):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?
Karl Palmskog (Oct 13 2022 at 15:21):(I think it's fine if other people in the Coq-community org create new branches and push to them though)
Maxime Dénès (Oct 13 2022 at 15:28):Sure, no pb.
Karl Palmskog (Oct 13 2022 at 15:32):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