RELEASING.md

October 10, 2023 ยท View on GitHub

To create a new release:

  • Create a new Github release via the Github UI, making sure to prefix it with v