Releasing

Create a new release with the following settings:

• tag version: the next version string according the rules of semantic versioning, for example v3.2
• target: always the master branch
• release title: is used on Github in the list of releases. Most important change(s).
• description: list all changes (not the commits) since the last release
• click publish release

Then, Travis

• builds the release (should of course be green, as master has been before)
• upload artefacts to Github (see .travis.yml)
• uploads new website to gh-pages

Then, manually upload files to Maven central with

• git checkout <TAGNAME>
• ./gradlew clean uploadArchives
• Check and submit jars at https://oss.sonatype.org/