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?
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.
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