To publish a new version:
- Run
python3 scripts/set-version.py - Run
python3 scripts/make-version-commit-and-tag.py - Wait 10-15 minutes for the GitHub Actions "build" workflow to finish
- Run
python3 scripts/prep-binaries.py - Run
python3 scripts/make-release-url.pyand click the link to make a release