How to make a new release using GitHub Actions

In order to release a new plugin version, do the following:

1. Make sure that the main branch contains all code changes that should be in the release
2. Create a PR that contains two separate commits: one that sets the version to a release (non-SNAPSHOT), followed immediately by one that set the version to a SNAPSHOT of the next version. (this will ensure that there is only one commit in which there is a non-SNAPSHOT version)
3. Merge (without squashing as we want both commits to exist) to the main branch.
4. Set a git tag on the commit that had the version as a non-SNAPSHOT. This is done easiest by using the Github UI to create a release (which under water sets a git tag).
5. The fact that Github Actions already executed a build of the future SNAPSHOT does not matter at all. When you set the tag, Github Actions will run again.