Théo Zimmermann (Oct 26 2020 at 07:41): Théo Zimmermann (Oct 26 2020 at 07:41):Hello @Enrico Tassi and @Maxime Dénès,
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?
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.
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.
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.
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: Apr 19 2024 at 12:02 UTC