If I have an issue tagged with a specific Milestone, I would expect that GitHub would automatically associate that Milestone with my pull request when I associate the Issue in that PR. For example:
Issue #1 -> Milestone 1.0.0
Open PR -> “Fixes #1”
the issue is linked from the PR
Right now I have to also manually add Milestone 1.0.0 to the PR. I kind of expected that to happen automatically when the issue was linked to the PR, but maybe it’s because there could be multiple Milestones (i.e. – multiple issues in PR) and GitHub wouldn’t know which to choose for the PR?
If this isn’t supported out of the box (and doesn’t intend to be), is there a slick way I could do this programmatically with GitHub Actions or something? We tag issues with milestones regularly, and I’d rather not duplicate that effort on PRs.