Pierre-Marie Pédrot (Jun 01 2022 at 12:06): 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?
Pierre-Marie Pédrot (Jun 01 2022 at 12:07):The phrasing is ambiguous, it's mentioning a "final" release.
Pierre-Marie Pédrot (Jun 01 2022 at 12:07):But the above point implicitly asks for it for any release.
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)?
Gaëtan Gilbert (Jun 01 2022 at 12:23):RC is not a release
so you can tag rc1 if you want
Pierre-Marie Pédrot (Jun 01 2022 at 12:31):The phrasing seems to imply the contrary, what would be a "preview release" otherwise?
Guillaume Melquiond (Jun 01 2022 at 12:32):The release summary is only required for the final release. "rc1" is not final.
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: Jun 04 2023 at 19:30 UTC