Pierre-Marie Pédrot (May 24 2022 at 18:51): Pierre-Marie Pédrot (May 24 2022 at 18:51):FTR, the release documentation in dev/doc/release-process.md is not in sync with the corresponding CEP#52.
Pierre-Marie Pédrot (May 24 2022 at 18:52):As a result I'm not sure when I should bump the version numbers and the like.
Pierre-Marie Pédrot (May 24 2022 at 18:53):Should the rc1 tag be performed now-ish (i.e. maybe after https://github.com/coq/coq/pull/16064) but without bumping the Coq version to 8.16+rc1 or something?
Ali Caglayan (May 24 2022 at 19:11):cc @Théo Zimmermann
Enrico Tassi (May 24 2022 at 19:55):Hum, I recall Theo fixing it...
Pierre-Marie Pédrot (May 24 2022 at 20:55):clearly the current doc is mentioning legacy concepts (e.g. preview vs final release)
Théo Zimmermann (May 25 2022 at 07:01):It was updated (maybe too minimally for your tastes).
Théo Zimmermann (May 25 2022 at 07:02):I didn't know that preview vs final release was to be considered a legacy concept. We can reword it if you want. But the content should still be accurate.
Théo Zimmermann (May 25 2022 at 07:02):Yes, you need to bump the Coq version everytime you tag.
Last updated: Oct 08 2024 at 14:01 UTC