Backport PR
#5498: use milestones to indicate backport...
Backport PR
#5498: use milestones to indicate backport
instead of labels.
I think this will more clearly indicate what's new in what releases, plus it's way easier to show pull requests with a specific milestone than it is with a specific label.