We've recently talked about bumping versions in PRs. We concluded that it's better to bump as a commit to master in case we end up merging a bunch of other changes and we want it all to go out at once, or if the PR sits for a bit and needs updating and another PR comes in afterwards, it can be messy to clean up the merge and stuff.