Create a bot to add milestones to new PRs #14190
Description
Description
We risk forgetting to add a milestone to our PRs for the next release, which makes the release manager's job harder. Is there some GitHub workflow that could do that for us?
{{ message }}