Enrico Olivelli Mon, 18 Oct 2021 02:08:22 -0700
I found that I had an outdated version of "gh" (Github cli tool) The command below works well to create automatically the list of PRs is a milestone. I will update the release procedure
Enrico gh pr list --search 'milestone:2.9.0 is:closed' -L 600
