RELEASE.md

Releases

Make a release by unning the release.sh script as followed:

./release.sh $TAG

For example (v1.0.0):

./release.sh 1.0.0

After making the release, also publish a release manually on GitHub.