check-milestones

Check and fix milestones on a contributor's merged PRs and their associated GitHub issues.