We also usually do the version bump outside of the PR after the merge.  Not sure it really matters but I think a separate version bump commit makes the commit log clearer.