FTR, the release documentation in dev/doc/release-process.md is not in sync with the corresponding CEP#52.
As a result I'm not sure when I should bump the version numbers and the like.
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?
cc @Théo Zimmermann
Hum, I recall Theo fixing it...
clearly the current doc is mentioning legacy concepts (e.g. preview vs final release)
It was updated (maybe too minimally for your tastes).
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.
Yes, you need to bump the Coq version everytime you tag.
Last updated: Dec 07 2023 at 09:01 UTC