Rodolphe Lepigre (Oct 13 2023 at 12:16): Rodolphe Lepigre (Oct 13 2023 at 12:16):Could someone create the tag for the release? I saw @Yannick Forster created an 8.18 branch, but there is not tag yet. I can take care of create an MR against https://github.com/coq/opam.
Rodolphe Lepigre (Oct 13 2023 at 12:58):See https://github.com/coq/opam/pull/2760 (will update when the release is tagged).
Rodolphe Lepigre (Oct 16 2023 at 07:32):Is there anything blocking here, or is this just a matter of finding the time to git tag?
Yannick Forster (Oct 16 2023 at 07:32):No blockers, if it's urgent we can do it immediately
Yannick Forster (Oct 16 2023 at 07:32):As usually, we would have delayed a bit to get in some PRs to bring things into a state "worthy" of a real tag
Yannick Forster (Oct 16 2023 at 07:33):But that's not high priority, so we could tag quickly
Rodolphe Lepigre (Oct 16 2023 at 07:33):It's not critically urgent, but having a release would make my life simpler.
Rodolphe Lepigre (Oct 16 2023 at 07:33):(i.e, not having to set up a custom release)
Rodolphe Lepigre (Oct 16 2023 at 07:34):Alternatively, I'd be happy with a 1.2+8.18 release if that's better from your side.
Last updated: Oct 13 2024 at 01:02 UTC