Why are version bumps inside Pull Requests, and why did it bump twice if nothing was on master for other people to notice?