When a GitHub release goes out, we should auto-open a new PR to bump the minor version to 1-past-release-version. This has two advantages: 1) Version bump PRs don't block the release process 2) Things built from `master` (e.g. dev work) is clearly different than the latest released version.
When a GitHub release goes out, we should auto-open a new PR to bump the minor version to 1-past-release-version.
This has two advantages:
master(e.g. dev work) is clearly different than the latest released version.