Leandro Ostera

As I mentioned in our conversation, it seems this would be addressed naturally as Dune package management arrives, since Dune would do the "multi-version management" for you. If you implement...

Oh @glyh this is just an old automation i set up where it'd link all the issues into a Linear project -- but that integration works both ways. Comments on...

@ievans it should have a few rough spots! Last I used it it'd crash with some malformed inputs, but it should be a good starting point. Unfortunately I don't have...

Thanks @mseri 🙏🏼 GOAT as usual! I think I just need to fix #25201 before we can merge this since Mint Tea 0.0.3 uses Riot 0.0.8

Yup! Just haven’t found time to fix them. We also fixed a few more things in Riot that we may want to release before Minttea 0.0.3 to improve stability and...