Hi all. I once proposed using Milestone for version management in GitHub before the issue migration. The proposal did not gain any support, so I thought we concluded that we use "fix-version" Label for issue/PR version management.
But it looks like there are suggestions to use Milestone. What should we do? Tomoko
