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?
The phrasing is ambiguous, it's mentioning a "final" release.
But the above point implicitly asks for it for any release.
Said otherwise, is the v8.16 branch in a taggable state right now (modulo the release flag and number bumping)?
RC is not a release
so you can tag rc1 if you want
The phrasing seems to imply the contrary, what would be a "preview release" otherwise?
The release summary is only required for the final release. "rc1" is not final.
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