Releasing a new version of the package To instigate a release of this repository, merge a pull request to main, and GitHub Actions will take care of the rest.