Congrats on the release! I put this on Discord, but per @SethTisue’s advice I’ll stick it on here as well.
Do you think it’s be possible for Dotty to use Milestones on GitHub and mark PRs with a milestone? With having LTS and also Next it’s a bit hard at times to understand what will end up where. For example I just checked the new coverage filtering to see where it would end up Port coverage filter options for packages and files by KacperFKorban · Pull Request #19727 · lampepfl/dotty · GitHub and I do see that it was in the 3.lts backports but it doesn’t tell me if that’s included in 3.3.3 or it will first be 3.3.4. Using milestones is a really nice way to signify to users where exactly something will end up. Mill does a nice job of this if you want an example Update example `build.sc` with current library versions by cstroe · Pull Request #3055 · com-lihaoyi/mill · GitHub – like I can clearly see this change will land in 0.11.8 and it’d be great to have this same sort of clarity when looking at PRs on Dotty.
