Stream: Coq devs & plugin devs

Topic: branching of 8.12 and pinning addons


view this post on Zulip Enrico Tassi (May 07 2020 at 07:34):

I'm trying to plan a release of Hierarchy Builder to be available for 8.12. What would be a reasonable deadline for pinning (or updating the pinning) of it in the v8.12 branch?

view this post on Zulip Enrico Tassi (May 07 2020 at 07:38):

To be clear, this is not about the PR https://github.com/coq/coq/pull/12032 which I hope to be merged before the branching. It is about pushing forward the pin that, IIRC, is made at some point before the beta.

view this post on Zulip Théo Zimmermann (May 07 2020 at 08:20):

Any time before the end of May should be fine, but probably best to not do it too early in case a PR with overlays gets merged (as you would have to tag again). So best to wait after the branching.


Last updated: Oct 21 2021 at 20:02 UTC