Théo Zimmermann (Feb 04 2022 at 14:05): Théo Zimmermann (Feb 04 2022 at 14:05):Did we decide who would be the RM for 8.16 yet?
Enrico Tassi (Feb 04 2022 at 14:36):I don't think so
Théo Zimmermann (Feb 04 2022 at 14:55):Probably something to consider soon then.
Gaëtan Gilbert (Feb 04 2022 at 14:58):https://github.com/coq/coq/wiki/Coq-Call-2021-11-17
8.16 RM - to be decided by January. Thinking about making this step more community-based by delineating the tasks.
Karl Palmskog (Feb 04 2022 at 15:03):I think we have already done some work to take tasks off the RM's table, like Bignums. One point that could be clearer up front is handling of opam packages and how that ties in to the platform. Specifically, when the RM tags the RC, we want to create thecore-dev package and start to add tagged ecosystem projects into extra-dev. These are then transferred to released once the .0 is tagged and the corresponding "real" opam package is out.
Karl Palmskog (Feb 04 2022 at 15:04):these points may require a bit of communication between packaging volunteers, Platform devs, and the RM.
Karl Palmskog (Feb 04 2022 at 15:06):for what it's worth, I thought it was nice that Gaëtan flagged up on Zulip + Discourse when tags happened, so would be nice to keep that for 8.16:
Théo Zimmermann (Feb 04 2022 at 15:21):Yes, this is one of the docummented steps of the release process.
Gaëtan Gilbert (Feb 04 2022 at 15:21):not for the branch afaict
Théo Zimmermann (Feb 04 2022 at 15:22):Indeed, it could make sense to add it to the list.
Karl Palmskog (Feb 04 2022 at 15:22):knowing the branch date is really useful (for example, for plugin dev), so if it's not too taxing, please add
Théo Zimmermann (Feb 04 2022 at 15:22):More generally, I think we should emphasize that the RM position is a lot about good communication.
Karl Palmskog (Feb 04 2022 at 15:26):actually, it would be nice to have a record of both the projected branch date, and then the actual branch date, if they differ substantially. I found myself looking up the branch date when tagging/branching plugins, and it's not so easy to look into Coq Git history (just looking at Discourse was faster)
Gaëtan Gilbert (Feb 04 2022 at 15:36):there's https://github.com/coq/coq/wiki/Release-Schedule-for-Coq-8.15
Pierre-Marie Pédrot (Mar 14 2022 at 11:16):unearthing this thread because it's becoming a bit urgent
Théo Zimmermann (Mar 14 2022 at 11:51):Let's add the topic to the next Call?
Karl Palmskog (Mar 14 2022 at 12:18):will there be any stuff here? https://github.com/coq/coq/wiki/Release-Schedule-for-Coq-8.16 (empty right now)
Pierre-Marie Pédrot (Mar 14 2022 at 12:22):there should be, the page should be created at least with a stub
Julien Puydt (Mar 14 2022 at 12:52):If 8.16 isn't ready but there were annoying issues with 8.15.0 perhaps a bugfix 8.15.1 could get out faster?
Karl Palmskog (Mar 14 2022 at 12:53):I think that's the plan, but good to know schedule anyway...
Gaëtan Gilbert (Mar 14 2022 at 13:01):I'm expecting to do 8.15.1 this week
early in the week if https://github.com/coq/coq/pull/15798 converges early, if it doesn't converge then I won't wait for it beyond this week
Pierre-Marie Pédrot (Mar 14 2022 at 13:02):https://github.com/coq/coq/pull/15772 is more critical imo
Pierre-Marie Pédrot (Mar 16 2022 at 15:52):I'll be the official RM for 8.16, it seems.
Pierre-Marie Pédrot (Mar 16 2022 at 15:52):Expect the branch to happen mid-may
Maxime Dénès (Mar 16 2022 at 15:53):Thanks, Pierre-Marie !
Théo Zimmermann (Mar 16 2022 at 16:02):Can you do a quick Discourse post (dev category)? It's more likely to be noticed there than in the flood of Zulip messages.
Emilio Jesús Gallego Arias (Mar 16 2022 at 17:21):Pierre-Marie Pédrot said:
I'll be the official RM for 8.16, it seems.
¡Enhorabuena! (y gracias por supuesto)
Pierre-Marie Pédrot (Mar 16 2022 at 17:42):https://coq.discourse.group/t/coq-8-16-release-schedule/1598
Michael Soegtrop (Mar 19 2022 at 09:44):@Pierre-Marie Pédrot : FYI: I plan to do a Coq Platform release of 8.16+rc1 as an update to the 2022.03 release (which is expected within a few days), that is by just adding a new 8.16+rc1 pick which is as much as possible compatible to the 8.15 pick in terms of package versions.
For the 8.16 final release I will do a new release of Coq Platform with updated package picks.
Last updated: Jun 09 2023 at 08:01 UTC