Scripts: Add primitive check that release has been bumped
Description
Description
Details
Details
- Provenance
joebonrichie Authored on Nov 16 2022, 10:57 AM joebonrichie Pushed on Nov 16 2022, 10:57 AM - Parents
- rCOMN3dc38b95fec1: Use `git push --follow-tags` for `make publish`
- Branches
- Unknown
- Tags