When a release creates a tag that points to the PR branch of a still-open "Rebase to "-class PR, we know that the branch should be pushed and the milestone should be closed out and a new "Next release" milestone should be opened.
Totally automatable.