Hello, I am creating the release notes for Pulsar 2.9.0. Apparently there is no export tool in GitHub that is able to export the list of PRs by filtering it by milestone.
It looks like it is possible to do such export by label. So my plan is to add release/2.9.0 to all the PRs in 2.9.0 milestone and then export them Any other better ideas ? Enrico
