Release how to

commit final change to develop branch
check

```
mvn verify
```
```
mvn versions:set -DnewVersion=X.Y.Z
```
verify and update release notes
update version number in README (remove -SNAPSHOT)

commit

git commit -am 'prepare release vX.Y.Z'

switch to master and merge
```
git checkout master
```

1. 
    ```
    git pull
    ```

```
git merge develop
```
deploy

mvn clean deploy -DperformRelease=true

Possibly need to add:

-Dgpg.executable=gpg2

Wait until build is successful (or check that it is available on Maven Central, there is a delay of approximately 2 hours before it appears on search.maven.org).
```
git push
```
goto github.com, draft a new release from master:
- use vX.Y.Z as tag name and release title
- use text from releasenotes.md as description (don't copy the title since it is already added by GitHub)
go back to develop, prepare next version
```
git checkout develop
```

mvn versions:set -DnewVersion=X.Y.Z-SNAPSHOT

update version in README (add -SNAPSHOT)
commit
make the code citable