Stream: VsCoq devs & users

Topic: Branch protection for VsCoq


view this post on Zulip 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?

view this post on Zulip 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)

view this post on Zulip Maxime Dénès (Oct 13 2022 at 15:28):

Sure, no pb.

view this post on Zulip 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: Jan 30 2023 at 17:03 UTC