Stream: Coq devs & plugin devs

Topic: Release plan for 8.13


view this post on Zulip Théo Zimmermann (Oct 26 2020 at 07:41):

Hello @Enrico Tassi and @Maxime Dénès,

view this post on Zulip Théo Zimmermann (Oct 26 2020 at 07:42):

Would you mind creating a 8.13 release plan page on the wiki and link it here https://github.com/coq/coq/wiki/Release-Plan?

view this post on Zulip Enrico Tassi (Oct 26 2020 at 08:46):

Maxime is on vac this week. I can look into it, but last time I checked these pages were not very useful to me, even if they were linked from the main page IIRC.

view this post on Zulip Théo Zimmermann (Oct 26 2020 at 09:57):

I looked into this page to find the info on the release schedule because someone asked me.

view this post on Zulip Théo Zimmermann (Oct 26 2020 at 09:58):

And I hope you will agree with me that it's important to be transparent about the expected release schedule so that contributors can plan their work accordingly.

view this post on Zulip Enrico Tassi (Oct 26 2020 at 10:32):

I agree, it is just that I would call that piece of info "release schedule", not plan. I'd love to see a plan.

I'm happy to publish the release schedule in a more public place than https://github.com/coq/coq/issues/12334 , I'll look into it.


Last updated: Oct 13 2024 at 01:02 UTC