Release process

Instructions assume a correctly configured development environment.

Preparation

1. Determine the new version number (for subsequent steps).
2. Update CHANGELOG.md (review the commit history).
3. Push all commits on master and check all builds pass.

Releasing

1. Update the version number in compare-api-java-client/pom.xml (but do not commit).
2. Deploy a new release with Maven: mvn deploy -P release

Post-release

1. Increment the version number in compare-api-java-client/pom.xml and add a -SNAPSHOT suffix.
2. Add a new Git tag corresponding to the release.
3. Fast-forward the stable branch to match master.