Stream: Coq devs & plugin devs

Topic: RC vs release notes


view this post on Zulip Pierre-Marie Pédrot (Jun 01 2022 at 12:06):

I am still confused: do I read correctly in https://github.com/coq/coq/issues/16085 that the rc1 should have a proper release summary?

view this post on Zulip Pierre-Marie Pédrot (Jun 01 2022 at 12:07):

The phrasing is ambiguous, it's mentioning a "final" release.

view this post on Zulip Pierre-Marie Pédrot (Jun 01 2022 at 12:07):

But the above point implicitly asks for it for any release.

view this post on Zulip Pierre-Marie Pédrot (Jun 01 2022 at 12:18):

Said otherwise, is the v8.16 branch in a taggable state right now (modulo the release flag and number bumping)?

view this post on Zulip Gaëtan Gilbert (Jun 01 2022 at 12:23):

RC is not a release
so you can tag rc1 if you want

view this post on Zulip Pierre-Marie Pédrot (Jun 01 2022 at 12:31):

The phrasing seems to imply the contrary, what would be a "preview release" otherwise?

view this post on Zulip Guillaume Melquiond (Jun 01 2022 at 12:32):

The release summary is only required for the final release. "rc1" is not final.

view this post on Zulip Pierre-Marie Pédrot (Jun 01 2022 at 12:35):

OK, I'll tag soon then. Just the time to bump the version number and set the release flag.


Last updated: Feb 06 2023 at 18:03 UTC