The process is as follows:
- A PR proposing a new release with a changelog since the last release
- At least 2 or more OWNERS must LGTM this release
- The release PR is closed
- An OWNER runs
git tag -s $VERSION
and inserts the changelog and pushes the tag withgit push $VERSION