Release Checklist

1. Update the following files:

   Major Release

   1. Dockerfile
   2. Dockerfile.slim
   3. Syntax.ml

   Minor Release

   1. Syntax.ml

2. Create a pull-request on GitHub and merge it in master

3. Tag the commit on the master with a version string prefixed by 'v' (e.g., v3.2.1)

   • git tag v3.2.1
   • git push --tags # push tag to remote

4. Create a new branch with the name "release-."

5. (Optional) Draft a new release on Github. Choose the existing tag v3.2.1 This will create a release on Github and notify users.