Stream: Coq Platform devs & users

Topic: Platform governance


view this post on Zulip Karl Palmskog (Sep 30 2020 at 14:50):

So now that the platform is in the Coq organization, does this have any implications for governance @Michael Soegtrop? For example, I would really like to see the outstanding PR by Théo reviewed/merged, some discussion about version naming, etc.

Will you co-maintain the repo now @Théo Zimmermann or how do see your involvement?

view this post on Zulip Théo Zimmermann (Sep 30 2020 at 14:52):

It's always been the plan that I would be involved in the platform maintenance and that the platform would be hosted under the Coq organization.

view this post on Zulip Théo Zimmermann (Sep 30 2020 at 14:53):

Later on, we will expand the platform maintainer team. This is BTW something else that we could list in the policy questions to discuss.

view this post on Zulip Karl Palmskog (Sep 30 2020 at 14:55):

I'd like to contribute as best I can but I think I have enough to do on the opam and coq-community side to be a full maintainer.

view this post on Zulip Karl Palmskog (Sep 30 2020 at 14:56):

I can also test on Ubuntu and Windows 10, but I'd prefer if there was an opam meta-package first.

view this post on Zulip Michael Soegtrop (Sep 30 2020 at 19:33):

I can also test on Ubuntu and Windows 10, but I'd prefer if there was an opam meta-package first.

I am currently working on merging all my opam patches upstream. More than half is done, but some will take a while to merge from the main opam repo t the MinGW opam repo. As soon as this is through, I can create an opam meta package. Right now it simply would not compile.

After that I have also more bandwidth to take care of the PRs, but if you consider something high prio, please let me know.


Last updated: Jan 30 2023 at 10:03 UTC