Stream: Coq devs & plugin devs

Topic: Release 8.16


view this post on Zulip Théo Zimmermann (Feb 04 2022 at 14:05):

Did we decide who would be the RM for 8.16 yet?

view this post on Zulip Enrico Tassi (Feb 04 2022 at 14:36):

I don't think so

view this post on Zulip Théo Zimmermann (Feb 04 2022 at 14:55):

Probably something to consider soon then.

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Karl Palmskog (Feb 04 2022 at 15:04):

these points may require a bit of communication between packaging volunteers, Platform devs, and the RM.

view this post on Zulip 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:

view this post on Zulip Théo Zimmermann (Feb 04 2022 at 15:21):

Yes, this is one of the docummented steps of the release process.

view this post on Zulip Gaëtan Gilbert (Feb 04 2022 at 15:21):

not for the branch afaict

view this post on Zulip Théo Zimmermann (Feb 04 2022 at 15:22):

Indeed, it could make sense to add it to the list.

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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)

view this post on Zulip Gaëtan Gilbert (Feb 04 2022 at 15:36):

there's https://github.com/coq/coq/wiki/Release-Schedule-for-Coq-8.15

view this post on Zulip Pierre-Marie Pédrot (Mar 14 2022 at 11:16):

unearthing this thread because it's becoming a bit urgent

view this post on Zulip Théo Zimmermann (Mar 14 2022 at 11:51):

Let's add the topic to the next Call?

view this post on Zulip 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)

view this post on Zulip Pierre-Marie Pédrot (Mar 14 2022 at 12:22):

there should be, the page should be created at least with a stub

view this post on Zulip 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?

view this post on Zulip Karl Palmskog (Mar 14 2022 at 12:53):

I think that's the plan, but good to know schedule anyway...

view this post on Zulip 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

view this post on Zulip Pierre-Marie Pédrot (Mar 14 2022 at 13:02):

https://github.com/coq/coq/pull/15772 is more critical imo

view this post on Zulip Pierre-Marie Pédrot (Mar 16 2022 at 15:52):

I'll be the official RM for 8.16, it seems.

view this post on Zulip Pierre-Marie Pédrot (Mar 16 2022 at 15:52):

Expect the branch to happen mid-may

view this post on Zulip Maxime Dénès (Mar 16 2022 at 15:53):

Thanks, Pierre-Marie !

view this post on Zulip 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.

view this post on Zulip 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)

view this post on Zulip Pierre-Marie Pédrot (Mar 16 2022 at 17:42):

https://coq.discourse.group/t/coq-8-16-release-schedule/1598

view this post on Zulip 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: Feb 06 2023 at 19:03 UTC