We have had plenty of times where we have forgotten to bump the version. ## TODO Add a CI check that, for tags like `vX.Y.Z-foo`, we run the `tools/upgrade-version` tool for that same `X.Y.Z` version, and check that there's no `git diff`
We have had plenty of times where we have forgotten to bump the version.
TODO
Add a CI check that, for tags like
vX.Y.Z-foo, we run thetools/upgrade-versiontool for that sameX.Y.Zversion, and check that there's nogit diff