Stream: Coq devs & plugin devs

Topic: 8.20.1


view this post on Zulip Gaëtan Gilbert (Sep 13 2024 at 12:27):

will there be one? @Pierre Roux @Guillaume Melquiond
we don't have a milestone so we can't accumulate candidate bugfixes

view this post on Zulip Guillaume Melquiond (Sep 13 2024 at 12:36):

Too soon to tell, but there should certainly be a milestone. Not sure what went wrong.

view this post on Zulip Guillaume Melquiond (Sep 13 2024 at 12:46):

Actually, I know what went wrong. It is still a bit unclear how to label milestones so that work properly with the new project system.

view this post on Zulip Théo Zimmermann (Sep 13 2024 at 12:54):

Sorry this is my fault for not documenting this yet.

view this post on Zulip Théo Zimmermann (Sep 13 2024 at 12:55):

I've just created the missing milestone and copied the description from 8.20.0.

view this post on Zulip Pierre Roux (Sep 13 2024 at 14:07):

Thanks, I realize it may also be me who misred " Ensure that there exists a milestone for the following version" as "major version", I try to precise it in https://github.com/coq/coq/pull/19531

view this post on Zulip Pierre Roux (Sep 13 2024 at 14:08):

BTW, @Théo Zimmermann when you have some time, could you check / fix the release process doc about the coqbot-managed project in https://github.com/coq/coq/pull/19531

view this post on Zulip Théo Zimmermann (Sep 13 2024 at 14:09):

done


Last updated: Oct 13 2024 at 01:02 UTC