Stream: Coq devs & plugin devs

Topic: Outdated release doc


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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?

view this post on Zulip Ali Caglayan (May 24 2022 at 19:11):

cc @Théo Zimmermann

view this post on Zulip Enrico Tassi (May 24 2022 at 19:55):

Hum, I recall Theo fixing it...

view this post on Zulip Pierre-Marie Pédrot (May 24 2022 at 20:55):

clearly the current doc is mentioning legacy concepts (e.g. preview vs final release)

view this post on Zulip Théo Zimmermann (May 25 2022 at 07:01):

It was updated (maybe too minimally for your tastes).

view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (May 25 2022 at 07:02):

Yes, you need to bump the Coq version everytime you tag.


Last updated: Feb 05 2023 at 19:29 UTC