Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[release process] Robustify the version-bump PR
This just adds a little info about what will happen after a version bump PR is merged.
- Loading branch information