Hello @Enrico Tassi and @Maxime Dénès,
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?
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.
I looked into this page to find the info on the release schedule because someone asked me.
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.
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 16 2021 at 01:03 UTC