Skip to content

RELEASING.md

Latest commit

 

History

History
15 lines (8 loc) · 598 Bytes

RELEASING.md

File metadata and controls

15 lines (8 loc) · 598 Bytes

Releasing a new version

  1. Make sure you're on the main branch, and git pull to get the latest commits.

  2. Determine the version number of the release you are creating.

  3. Invoke the release script: Scripts/release.sh ${VERSION}. You will be prompted to update CHANGELOG.md and create a pull request into main.

  4. Go to the Releases and Draft a new release.

  5. In the release notes, copy the changes from the changelog.

  6. Ensure the Title corresponds to the version we're publishing.

  7. Merge the PR, then hit Publish release.