RELEASE.md

Release process

1. Figure out what the next version number should be
2. Run git tag X.Y.Z
3. Run git push --tags
4. Monitor the GHA Release workflow